A sequent calculus Lukasiewicz's three-valued logic based on Suszko's bivalent semantics

Bulletin of the Section of Logic, Tom 28, Numer 2 (1999) s. 89-97
Jean-Yves Beziau

 

do góry