Skip to main content
Mathematical Logic QuarterlyVolume 38, Issue 1, 1992, Pages 409-412

ON SOME INTERPRETATIONS OF CLASSICAL LOGIC(Article)

  Save all to author list
  • Univerzitet u Beogradu, Kamenicka 6, Beograd, 11000

Abstract

In distinction from the well‐known double‐negation embeddings of the classical logic we consider some variants of single‐negation embeddings and describe some classes of superintuitionistic first‐order predicate logics in which the classical first‐order calculus is interpretable in such a way. Also we find the minimal extensions of Heyting's logic in which the classical predicate logic can be embedded by means of these translations. Copyright © 1992 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim

Author keywords

Embeddings of classical logic in superintuitionistic logics
  • ISSN: 09425616
  • Source Type: Journal
  • Original language: English
  • DOI: 10.1002/malq.19920380139
  • Document Type: Article

  Boričić, B.R.; Univerzitet u Beogradu, Kamenicka 6,
© Copyright 2016 Elsevier B.V., All rights reserved.

Cited by 1 document

Boričić, B. , Ilić, M.
An Alternative Normalization of the Implicative Fragment of Classical Logic
(2015) Studia Logica
View details of this citation
Inform me when this document is cited in Scopus:
Set citation alert Set citation feed

SciVal Topic Prominence

Topic:
Prominence percentile: