Protoalgebraic Gentzen systems and the cut rule
From MaRDI portal
Publication:1576379
DOI10.1023/A:1005243108996zbMath0953.03064MaRDI QIDQ1576379
Jordi Rebagliato, Angel J. Gil
Publication date: 14 August 2000
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1005243108996
sequent calculus; protoalgebraic logic; cut rule; Gentzen system; structural rule; logical rule; many-sided sequents
Related Items
On Gentzen relations associated with finite-valued logics preserving degrees of truth, Representations of structural closure operators, Correspondences between gentzen and hilbert systems