On the proof-theory of a first-order extension of GL

Logic and Logical Philosophy, Tom 23, Numer 3 (2014) s. 329-363
Yehuda Schwartz, George Tourlakis

 

do góry