Labeled Sequent Calculus for Orthologic

Bulletin of the Section of Logic, Tom 47, Numer 4 (2018) s. 217-232
Tomoaki Kawano

 

do góry