Intuitionistic sequent-style calculus with explicit structural rules

DOI10.1007/978-3-642-22303-7_7zbMATH Open1341.03019OpenAlexW204730771MaRDI QIDQ3019972FDOQ3019972

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

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

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)

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)