The Gentzen type axiomatization of some three-valued propositional logic

Bulletin of the Section of Logic, Tom 17, Numer 2 (1988) s. 70-74
Andrzej Zbrzezny

 

do góry