From the subformula property to cut-admissibility in propositional sequent calculi

DOI10.1093/LOGCOM/EXY018zbMath1444.03162OpenAlexW2810263748MaRDI QIDQ4612444

Ori Lahav, Yoni Zohar

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/76e6238c44c7be7f8d8923ae5fb7c1fa03ff44ff

zbMATH Keywords

cut eliminationsequent calculusanalyticitysubformula property

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Related Items (1)

SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY

This page was built for publication: From the subformula property to cut-admissibility in propositional sequent calculi