@article{Ciuciura_2015, title={Paraconsistency and Sette’s calculus P1}, volume={24}, url={https://apcz.umk.pl/LLP/article/view/LLP.2015.003}, DOI={10.12775/LLP.2015.003}, abstractNote={<p>In 1973, Sette presented a calculus, called P1, which is recognized as one of the most remarkable paraconsistent systems. The aim of this paper is to propose a new axiomatization of P1. The axiom schemata are chosen to show that P1 behaves in a <em>paraconsistent way </em>only at the atomic level, i.e. the rule: α<em>, </em><em>~</em>α<em> / </em><em>β</em><em> </em>holds in P1 only if α<em> </em>is not a propositional variable.</p>}, number={2}, journal={Logic and Logical Philosophy}, author={Ciuciura, Janusz}, year={2015}, month={Feb.}, pages={265–273} }