Lambek-Grishin calculus: focusing, display and full polarization

DOI10.1007/978-3-031-24117-8_24MaRDI QIDQ6612800

Apostolos Tzimoulis, Unnamed Author, Giuseppe Greco, Michael Moortgat

Publication date: 1 October 2024

zbMATH Keywords

semantics of proofsheterogeneous algebrasLambek-Grishin calculusfocused sequent calculimulti-type display calculipolarized logicsweakening relations

Mathematics Subject Classification ID

Quantum computation (81P68) Logic in computer science (03B70) Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The structure of generalized BI-algebras and weakening relation algebras
• Symmetric categorial grammar
• A categorical semantics for polarized MALL
• New foundations for the geometry of interaction
• Focussing and proof construction
• Relation lifting, with an application to the many-valued cover modality
• Multi-type display calculus for dynamic epistemic logic
• Polarized Montagovian Semantics for the Lambek-Grishin Calculus
• The Mathematics of Sentence Structure
• Continuation Semantics for Symmetric Categorial Grammar
• Logic Programming with Focusing Proofs in Linear Logic
• Games and full completeness for multiplicative linear logic
• Substructural logics on display
• Basic logic: reflection, symmetry, visibility
• Unified correspondence as a proof-theoretic tool
• Weakening Relation Algebras and FL$$^2$$-algebras
• A phase semantics for polarized linear logic and second order conservativity
• Heterogeneous algebras

This page was built for publication: Lambek-Grishin calculus: focusing, display and full polarization