Abstract
Thirty years ago, I introduced a noncommutative variant of classical linear logic, called pomset logic, coming from a particular categorical interpretation of linear logic known as coherence spaces. In addition to the usual commutative multiplicative connectives of linear logic, pomset logic includes a noncommutative connective, “⊲” called before, associative and self-dual: (A ⊲ B)⊥ = A⊥ ⊲ B⊥. The conclusion of a pomset logic proof is a Partially Ordered Multiset of formulas. Pomset logic enjoys a proof net calculus with cut-elimination, denotational semantics, and faithfully embeds sequent calculus. The study of pomset logic has reopened with recent results on handsome proof nets, on its sequent calculus, or on its follow-up calculi like deep inference by Guglielmi and Straßburger. Therefore, it is high time we published a thorough presentation of pomset logic, including published and unpublished material, old and new results. Pomset logic (1993) is a noncommutative variant of linear logic (1987) as is Lambek calculus (1958 !) and it can also be used as a grammatical formalism. Those two calculi are quite different, but we hope that the algebraic presentation we give here, with formulas as algebraic terms and with a semantic notion of proof (net) correctness, better matches Lambek’s view of what a logic should be.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Retoré, C. (2021). Pomset Logic. In: Casadio, C., Scott, P.J. (eds) Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics. Outstanding Contributions to Logic, vol 20. Springer, Cham. https://doi.org/10.1007/978-3-030-66545-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-030-66545-6_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-66544-9
Online ISBN: 978-3-030-66545-6
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)