A focused approach to combining logics

DOI10.1016/j.apal.2011.01.012zbMath1225.03086OpenAlexW2138536973MaRDI QIDQ639671

Chuck Liang, Dale A. Miller

Publication date: 22 September 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.01.012

zbMATH Keywords

cut eliminationlinear logicfocused proof systemsunity of logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Subsystems of classical logic (including intuitionistic logic) (03B20) Combined logics (03B62)

Related Items

A pure view of ecumenical modalities, Structural Focalization, An ecumenical notion of entailment, A semantic framework for proof evidence, Proof nets for classical logic, On the unification of classical, intuitionistic and affine logics

Cites Work

• Polarized and focalized linear and classical proofs
• Linear logic
• On the unity of logic
• Focusing and polarization in linear, intuitionistic, and classical logics
• Uniform proofs as a foundation for logic programming
• Focusing and Polarization in Intuitionistic Logic
• Incorporating Tables into Proofs
• A new constructive logic: classic logic
• Logic Programming with Focusing Proofs in Linear Logic
• A new deconstructive logic: linear logic
• Least and Greatest Fixed Points in Linear Logic
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Logical Approaches to Computational Barriers
• Unnamed Item