Gently Paraconsistent Calculi

Axioms

Janusz Ciuciura¹ 

[1] Faculty of Philosophy and History, Institute of Philosophy, University of ódź, Lindleya 3/5, 90-131 ódź, Poland;

关键词: paraconsistent logic;    paraconsistency;    the principle of explosion;    Sette’s calculus;    paracomplete calculi;    paranornal logics;   

DOI  :  10.3390/axioms9040142

来源: DOAJ

【 摘 要 】

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.

【 授权许可】

Unknown