A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic

DOI10.3233/FI-2015-1253zbMATH Open1350.03014OpenAlexW2183553861MaRDI QIDQ3187008FDOQ3187008

Alberto Momigliano, Alessandro Avellone, Camillo Fiorentini

Publication date: 15 August 2016

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2015-1253

zbMATH Keywords

contractionproof theoryintuitionistic logicsequent calculusfocusingKripke modelproof-searching

Mathematics Subject Classification ID

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

Cited In (1)

• Admissibility of structural rules for contraction-free systems of intuitionistic logic

This page was built for publication: A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic

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