Back to Search
Start Over
Semantic Incompleteness of del Cerro and Herzig's Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic.
- Source :
- Australasian Journal of Logic; 2023, Vol. 20 Issue 3, p397-411, 15p
- Publication Year :
- 2023
-
Abstract
- This paper shows that the Hilbert system H(C + J)-, given by del Cerro and Herzig (1996), is semantically incomplete. This system is proposed as a proof theory for a combination of classical and intuitionistic propositional logic, which is called C + J. The Kripke semantics for this combination is obtained by adding the semantic clause of classical implication directly to the Kripke semantics for intuitionistic propositional logic. The Hilbert system H(C + J)- does not contain the classical modus ponens, although it contains the intuitionistic modus ponens as a rule, which makes this system semantically incomplete. This paper gives an argument that the system H(C + J)- is semantically incomplete because of the absence of the classical modus ponens. Our way to prove this is based on the logic of paradox, which is a paraconsistent logic proposed by Priest (1979). [ABSTRACT FROM AUTHOR]
- Subjects :
- PROPOSITION (Logic)
KRIPKE semantics
PROOF theory
LOGIC
PARADOX
Subjects
Details
- Language :
- English
- ISSN :
- 14485052
- Volume :
- 20
- Issue :
- 3
- Database :
- Complementary Index
- Journal :
- Australasian Journal of Logic
- Publication Type :
- Academic Journal
- Accession number :
- 177767866
- Full Text :
- https://doi.org/10.26686/ajl.v20i3.7696