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

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

doi
Date : 1380-04
Article type
Journal