Cut-Free Hypersequent Calculus for S4.3.

Bulletin of the Section of Logic, Tom 41, Numer 1-2 (2012) s. 89-104
Andrzej Indrzejczak

 

do góry