@article{Ciuciura_2019, title={On the System CB1 and a Lattice of the Paraconsistent Calculi}, volume={29}, url={https://apcz.umk.pl/LLP/article/view/LLP.2019.035}, DOI={10.12775/LLP.2019.035}, abstractNote={<span><span><span><span><span><span><span><span><span><span><span><span><span><span><span>In this paper, we present a calculus of paraconsistent logic. We propose an axiomatisation and a semantics for the calculus, and prove several important meta-theorems. The calculus, denoted as CB<sup>1</sup>, is an extension of systems PI, C min and B<sup>1</sup>, and a proper subsystem of Sette’s calculus P<sup>1</sup>. We also investigate the generalization of CB<sup>1</sup> to the hierarchy of related calculi.</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span>}, number={2}, journal={Logic and Logical Philosophy}, author={Ciuciura, Janusz}, year={2019}, month={Dec.}, pages={223–237} }