A semantical analysis of focusing and contraction in intuitionistic logic

DOI10.3233/FI-2015-1253MaRDI QIDQ3187008zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(13)

• Admissibility of structural rules for contraction-free systems of intuitionistic logic
• A resource aware semantics for a focused intuitionistic calculus
• Focusing Strategies in the Sequent Calculus of Synthetic Connectives
• Modular focused proof systems for intuitionistic modal logics
• An evaluation-driven decision procedure for G3i
• Linking focusing and resolution with selection
• Linking focusing and resolution with selection
• Focusing and Polarization in Intuitionistic Logic
• Focusing and polarization in linear, intuitionistic, and classical logics
• Logical Approaches to Computational Barriers
• Structural focalization
• Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models
• The focused calculus of structures

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)