The focused calculus of structures

DOI10.4230/LIPICS.CSL.2011.159MaRDI QIDQ2915680zbMATH OpenFDO

Authors Kaustuv Chaudhuri, Nicolas Guenot, Lutz Straßburger

Publication date 18 September 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_57fa.html

zbMATH Keywords

calculus of structuresfocusinglinear logicpolarity

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Structural focalization
• A semantical analysis of focusing and contraction in intuitionistic logic
• Focused and Synthetic Nested Sequents
• Focusing and polarization in linear, intuitionistic, and classical logics
• Focusing and Polarization in Intuitionistic Logic

Cited in

(34)

• Focussing, \(\mathsf{MALL}\) and the polynomial hierarchy
• The explosion calculus
• An exponential lower bound for proofs in focused calculi
• scientific article; zbMATH DE number 1722713 (Why is no real title available?)
• Focused and Synthetic Nested Sequents
• Focused proof search for linear logic in the calculus of structures
• Structural focalization
• On the Power of Substitution in the Calculus of Structures
• A proposal for broad spectrum proof certificates
• Behavioural analysis of sessions using the calculus of structures
• A semantical analysis of focusing and contraction in intuitionistic logic
• A first order system with finite choice of premises
• From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
• Equality and fixpoints in the calculus of structures
• Multi-focused cut elimination
• A systematic approach to canonicity in the classical sequent calculus
• scientific article; zbMATH DE number 827982 (Why is no real title available?)
• Focused natural deduction
• Linking focusing and resolution with selection
• Cut elimination in multifocused linear logic
• An Analytic Propositional Proof System on Graphs
• The sub-additives: a proof theory for probabilistic choice extending linear logic
• Linking focusing and resolution with selection
• Strong sums in focused logic
• Deep inference and expansion trees for second-order multiplicative linear logic
• Constructing weak simulations from linear implications for processes with private names
• Focusing in orthologic
• Reducing Nondeterminism in the Calculus of Structures
• A proof calculus which reduces syntactic bureaucracy
• Focusing Strategies in the Sequent Calculus of Synthetic Connectives
• A multi-focused proof system isomorphic to expansion proofs
• Focused linear logic and the \(\lambda\)-calculus
• Internal and external calculi: ordering the jungle without being lost in translations
• Deep inference in proof search: the need for shallow inference

This page was built for publication: The focused calculus of structures

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