A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in LC

Bulletin of the Section of Logic, Tom 32, Numer 3 (2003) s. 137-146
Alexej P. Pynko

 

do góry