On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus

DOI10.1007/11916277_9zbMath1165.03345OpenAlexW1562648369MaRDI QIDQ5387888

Kentaro Kikuchi

Publication date: 27 May 2008

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

Full work available at URL: https://doi.org/10.1007/11916277_9

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Strong cut-elimination in sequent calculus using Klop's ι-translation and perpetual reductions ⋮ Strong Normalisation of Cut-Elimination That Simulates β-Reduction ⋮ Cut Elimination, Substitution and Normalisation

This page was built for publication: On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus