Strong Normalization of the Dual Classical Sequent Calculus

DOI10.1007/11591191_13zbMath1143.03360OpenAlexW1839771719MaRDI QIDQ5387838

Silvia Likavec, Pierre Lescanne, Daniel J. Dougherty, Silvia Ghilezan

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2318/28867

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

Related Items (4)

Classical Logic with Mendler Induction ⋮ Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) ⋮ Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage ⋮ Classical \(F_{\omega}\), orthogonality and symmetric candidates

This page was built for publication: Strong Normalization of the Dual Classical Sequent Calculus