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

• An evaluation-driven decision procedure for G3i
• Structural focalization
• Modular focused proof systems for intuitionistic modal logics
• 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
• Linking focusing and resolution with selection
• Logical Approaches to Computational Barriers
• Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models
• Focusing and polarization in linear, intuitionistic, and classical logics
• Linking focusing and resolution with selection
• A resource aware semantics for a focused intuitionistic calculus

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)