Pomset Logic

DOI10.1007/978-3-030-66545-6_9zbMath1495.03038OpenAlexW3137754118MaRDI QIDQ5014600

Christian Retoré

Publication date: 8 December 2021

Published in: Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-66545-6_9

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

An Analytic Propositional Proof System on Graphs ⋮ A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

Cites Work

• Linear logic
• The system \({\mathcal F}\) of variable types, fifteen years later
• Handsome proof-nets: Perfect matchings and cographs
• Series-parallel languages and the bounded-width property
• Classical non-associative Lambek calculus
• MELL in the calculus of structures
• Non-commutative logic. I: The multiplicative fragment
• Lambek calculus is NP-complete
• The Mathematics of Sentence Structure
• Quantales and (noncommutative) linear logic
• Proof Nets for Lambek Calculus
• The mix rule
• Product-free Lambek calculus and context-free grammars
• A semantic characterisation of the correctness of a proof net
• A complete axiomatisation for the inclusion of series-parallel partial orders
• On noncommutative extensions of linear logic
• A system of interaction and structure
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Pomset Logic