A completeness-proof method for extensions of the implicational fragment of the propositional calculus
From MaRDI portal
Publication:1132083
DOI10.1305/NDJFL/1093883174zbMath0419.03005OpenAlexW1991261648MaRDI QIDQ1132083
Publication date: 1980
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093883174
paraconsistent logiccompleteness-proof methodextensions of the implicational fragment of the propositional calculus
Other nonclassical logic (03B60) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20) Categoricity and completeness of theories (03C35)
Related Items (4)
Lindenbaum-type logical structures ⋮ On the Propagation of Consistency in Some Systems of Paraconsistent Logic ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ Consequence–Inconsistency Interrelation: In the Framework of Paraconsistent Logics
This page was built for publication: A completeness-proof method for extensions of the implicational fragment of the propositional calculus
