On some interpretations of classical logic

&
Mathematical Logic Quarterly 38 (1):409-412 (1992)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1002/malq.19920380139

Other Versions

reprint Boričić, Branislav R.; Boričić, B. R. (1992) "On some interpretations of classical logic". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38(1):409-412
reprint Boričić, B. R.; Boričić, Branislav R. (2006) "On Some Interpretations of Classical Logic". Mathematical Logic Quarterly 38(1):409-412

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283-336.
On proof terms and embeddings of classical substructural logics.Ken-Etsu Fujita - 1998 - Studia Logica 61 (2):199-221.
A short proof of Glivenko theorems for intermediate predicate logics.Christian Espíndola - 2013 - Archive for Mathematical Logic 52 (7-8):823-826.
Multimodal and intuitionistic logics in simple type theory.Christoph Benzmueller & Lawrence Paulson - 2010 - Logic Journal of the IGPL 18 (6):881-892.
Variations on the Kripke Trick.Mikhail Rybakov & Dmitry Shkatov - 2025 - Studia Logica 113 (1):1-48.
Embedding And Interpolation For Some Paralogics. The Propositional Case.Diderik Batens, Kristof De Clercq & Natasha Kurtonina - 1999 - Reports on Mathematical Logic:29-44.
On Algebraisation of Superintuitionistic Predicate Logics.Dmitry Tishkovsky - 2018 - In Sergei Odintsov, Larisa Maksimova on Implication, Interpolation, and Definability. Cham, Switzerland: Springer Verlag. pp. 297-317.
A basic quasi-Boolean logic of intuitionistic character.Gemma Robles - 2020 - Journal of Applied Non-Classical Logics 30 (4):291-311.
The Implicit Logic of Plato's Parmenides.Zbigniew Król - 2013 - Filozofia Nauki 21 (1).
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.Dimiter Vakarelov - 2005 - Studia Logica 80 (2):393-430.

Analytics

Added to PP
2013-12-01

Downloads
50 (#1,178,889)

6 months
7 (#1,438,015)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Introduction to mathematical logic.Alonzo Church - 1944 - Princeton: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.
Collected works.Kurt Gödel - 1986 - New York: Oxford University Press. Edited by Solomon Feferman.
Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.

Add more references