A semantical analysis of focusing and contraction in intuitionistic logic

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

Authors: Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano 

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

Recommendations

• Structural focalization
• The focused calculus of structures
• Focusing and Polarization in Intuitionistic Logic
• Focusing and polarization in linear, intuitionistic, and classical logics
• Modular focused proof systems for intuitionistic modal logics

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 (6)

• Focusing and Polarization in Intuitionistic Logic
• Admissibility of structural rules for contraction-free systems of intuitionistic logic
• The focused calculus of structures
• Focusing Strategies in the Sequent Calculus of Synthetic Connectives
• Logical Approaches to Computational Barriers
• Focusing and polarization in linear, intuitionistic, and classical logics

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)