Proof theory and mathematical meaning of paraconsistent C-systems

Paolo Gentilini. Proof theory and mathematical meaning of paraconsistent C-systems. J. Applied Logic, 9(3):171-202, 2011. [doi]

Abstract

Abstract is missing.