Modal Sequent Calculi Labelled with Truth Values: Cut Elimination

DOI10.1093/jigpal/jzi013zbMath1086.03015OpenAlexW2051387156WikidataQ59196694 ScholiaQ59196694MaRDI QIDQ5693112

Paulo Mateus, João Rasga, Cristina Sernadas

Publication date: 28 September 2005

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzi013

zbMATH Keywords

cut eliminationlabelled deductioncomplexity of cut eliminationmodal sequent calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Complexity of proofs (03F20)

Related Items (1)

Sufficient conditions for cut elimination with complexity analysis

This page was built for publication: Modal Sequent Calculi Labelled with Truth Values: Cut Elimination