The disjunction property of the logics with axioms of only one variable

Bulletin of the Section of Logic, Tom 21, Numer 2 (1992) s. 40-46
Katsumi Sasaki

 

do góry