Focusing Strategies in the Sequent Calculus of Synthetic Connectives

DOI10.1007/978-3-540-89439-1_33zbMath1182.03103OpenAlexW1576273348MaRDI QIDQ5505575

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)

Related Items (7)

From axioms to synthetic inference rules via focusing ⋮ From Focalization of Logic to the Logic of Focalization ⋮ Unnamed Item ⋮ Multi-focused cut elimination ⋮ On geometry of interaction for polarized linear logic ⋮ Focused and Synthetic Nested Sequents ⋮ On the Meaning of Focalization

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