Focusing Strategies in the Sequent Calculus of Synthetic Connectives

DOI10.1007/978-3-540-89439-1_33zbMATH Open1182.03103OpenAlexW1576273348MaRDI QIDQ5505575FDOQ5505575

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

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

Mathematics Subject Classification ID

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

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)