Focusing and Polarization in Intuitionistic Logic

DOI10.1007/978-3-540-74915-8_34MaRDI QIDQ3608430zbMATH OpenOpenAlexFDO

Authors Chuck Liang, Dale Miller

Publication date 5 March 2009

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74915-8_34

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70)

Recommendations

• Focusing and polarization in linear, intuitionistic, and classical logics
• Structural focalization
• A semantical analysis of focusing and contraction in intuitionistic logic
• Modular focused proof systems for intuitionistic modal logics
• Focussing and proof construction

Cited in

(30)

• From axioms to synthetic inference rules via focusing
• Focused linear logic and the \(\lambda\)-calculus
• Focused natural deduction
• On the meaning of focalization
• Structural focalization
• Modular focused proof systems for intuitionistic modal logics
• An intuitionistic formula hierarchy based on high‐school identities
• Polarized and focalized linear and classical proofs
• Multi-focused proofs with different polarity assignments
• A logical characterization of forward and backward chaining in the inverse method
• Focused Inductive Theorem Proving
• A linear/producer/consumer model of classical linear logic
• Focussing and proof construction
• From focalization of logic to the logic of focalization
• A semantical analysis of focusing and contraction in intuitionistic logic
• TCC, with history
• Resolution is cut-free
• The focused calculus of structures
• Focussing, \(\mathsf{MALL}\) and the polynomial hierarchy
• A focused approach to combining logics
• A unified procedure for provability and counter-model generation in minimal implicational logic
• Focusing and polarization in linear, intuitionistic, and classical logics
• Logical Approaches to Computational Barriers
• A framework for linear authorization logics
• Focusing in Linear Meta-logic
• Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
• Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
• Strong sums in focused logic
• Focused labeled proof systems for modal logic
• A Survey of the Proof-Theoretic Foundations of Logic Programming

This page was built for publication: Focusing and Polarization in Intuitionistic Logic

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