Protoalgebraic Gentzen systems and the cut rule

DOI10.1023/A:1005243108996zbMath0953.03064OpenAlexW1582926964MaRDI 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

zbMATH Keywords

sequent calculusprotoalgebraic logiccut ruleGentzen systemstructural rulelogical rulemany-sided sequents

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Algebraic logic (03G99)

Related Items (3)

On Gentzen relations associated with finite-valued logics preserving degrees of truth ⋮ Representations of structural closure operators ⋮ Correspondences between gentzen and hilbert systems

This page was built for publication: Protoalgebraic Gentzen systems and the cut rule