Zobrazeno 1 - 1
of 1
pro vyhledávání: '"03705"'
Autor:
Parlamento, Franco, Previale, Flavio
On the ground of a general theorem concerning the admissibility of the structural rules in sequent calculi with additional atomic rules, we develop a proof theoretic analysis for several extensions of the ${\bf G3[mic]}$ sequent calculi with rules fo
Externí odkaz:
http://arxiv.org/abs/2403.06887
