Natural deduction systems for some non-commutative logics

Logic and Logical Philosophy, Tom 16, Numer 2-3 (2007) s. 105-146
Norihiro Kamide, Motohiko Mouri

 

do góry