Cut-free sequent calculus for S5

Bulletin of the Section of Logic, Tom 25, Numer 2 (1996) s. 95-102
Andrzej Indrzejczak

 

do góry