Sequent Calculi for Orthologic with Strict Implication

Bulletin of the Section of Logic, Tom 51, Numer 1 (2022) s. 73-89
Tomoaki Kawano

 

do góry