| Autor: |
Masanobu Toyooka, Katsuhiko Sano |
| Předmět: |
|
| Zdroj: |
Australasian Journal of Logic; 2023, Vol. 20 Issue 3, p397-411, 15p |
| Abstrakt: |
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] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
