Abstract
In this paper, we consider some paraconsistent calculi in a Hilbert-style formulation with the rule of detachment as the sole rule of interference. Each calculus will be expected to contain all axiom schemas of the positive fragment of classical propositional calculus and respect the principle of gentle explosion.
Subject
Geometry and Topology,Logic,Mathematical Physics,Algebra and Number Theory,Analysis
Reference23 articles.
1. Theory of Logical Calculi. Basic Theory of Consequence Operations;Wójcicki,1988
2. Completeness Theory for Propositional Logics;Pogorzelski,2008
3. Embedding and interpolation for some paralogics. The propositional case;Batens;Rep. Math. Log.,1999
4. Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence
5. Literal-paraconsistent and literal-paracomplete matrices