Non-commutative logic. I: The multiplicative fragment
From MaRDI portal
Publication:1964014
DOI10.1016/S0168-0072(99)00014-7zbMath0962.03054OpenAlexW1973260109WikidataQ56391425 ScholiaQ56391425MaRDI QIDQ1964014
Publication date: 4 June 2001
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0168-0072(99)00014-7
Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (30)
A geometrical representation of the basic laws of categorial grammar ⋮ Unnamed Item ⋮ An automated method for building cognitive models for turn-based games from a strategy logic ⋮ Categorical proof theory of classical propositional calculus ⋮ Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing ⋮ Non-normal modalities in variants of linear logic ⋮ Linear Exponential Comonads without Symmetry ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives ⋮ A System of Interaction and Structure III: The Complexity of BV and Pomset Logic ⋮ Categorial Dependency Grammars with Iterated Sequences ⋮ Proof nets for multiplicative cyclic linear logic and Lambek calculus ⋮ Non-commutative logic. III: Focusing proofs. ⋮ A logical calculus for controlled monotonicity ⋮ Applying pregroups to Italian statements and questions ⋮ A mixed \(\lambda\)-calculus ⋮ Unnamed Item ⋮ On Residuation ⋮ Cyclic Extensions of Order Varieties ⋮ Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars ⋮ Modularity of proof-nets. Generating the type of a module. ⋮ On Vidal's trivalent explanations for defective conditional in mathematics ⋮ A framework for proof systems ⋮ Non-commutative proof construction: a constraint-based approach ⋮ Rule-Following and the Limits of Formalization: Wittgenstein’s Considerations Through the Lens of Logic ⋮ A geometrical procedure for computing relaxation ⋮ Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing ⋮ Contrary-to-duty reasoning: a categorical approach ⋮ Pomset Logic ⋮ Unnamed Item
This page was built for publication: Non-commutative logic. I: The multiplicative fragment
