Focusing Strategies in the Sequent Calculus of Synthetic Connectives

DOI10.1007/978-3-540-89439-1_33MaRDI QIDQ5505575zbMATH OpenOpenAlexFDO

Authors Kaustuv Chaudhuri

Publication date 27 January 2009

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89439-1_33

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Recommendations

• Focused and Synthetic Nested Sequents
• A semantical analysis of focusing and contraction in intuitionistic logic
• The focused calculus of structures
• Structural focalization
• Multi-focused cut elimination

Cited in

(9)

• From axioms to synthetic inference rules via focusing
• On geometry of interaction for polarized linear logic
• On the meaning of focalization
• Focused and Synthetic Nested Sequents
• Cut elimination in multifocused linear logic
• From focalization of logic to the logic of focalization
• Multi-focused cut elimination
• Strong sums in focused logic
• The problem of finding a semantic strategy for focusing inference rules

This page was built for publication: Focusing Strategies in the Sequent Calculus of Synthetic Connectives

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