Intuitionistic sequent-style calculus with explicit structural rules

DOI10.1007/978-3-642-22303-7_7MaRDI QIDQ3019972zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• scientific article; zbMATH DE number 512773
• Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
• A normalizing system of natural deduction for intuitionistic linear logic
• Cut-elimination and a permutation-free sequent calculus for intuitionistic logic
• scientific article; zbMATH DE number 218517

Cited in

(4)

• A Gentzen-style sequent calculus of constructions with expansion rules
• Intersection types for the resource control lambda calculi
• Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
• Herzberger's limit rule with labelled sequent calculus

This page was built for publication: Intuitionistic sequent-style calculus with explicit structural rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3019972)