Intuitionistic Sequent-Style Calculus with Explicit Structural Rules

DOI10.1007/978-3-642-22303-7_7zbMath1341.03019OpenAlexW204730771MaRDI QIDQ3019972

Silvia Ghilezan, Dragiša Žunić, Jelena Ivetić, Pierre Lescanne

Publication date: 29 July 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-22303-7_7

Mathematics Subject Classification ID

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

Related Items

Intersection Types for the Resource Control Lambda Calculi