Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic

Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic
-

doi
Article type
Journal