Non-commutative logic. I: The multiplicative fragment

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

Non-commutative logic II: sequent calculus and phase semantics
scientific article; zbMATH DE number 2185722
Non-commutative logic. III: Focusing proofs.
Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
Pomset logic. The other approach to noncommutativity in logic

Cited In (43)

Study of behaviours via visitable paths
Cyclic extensions of order varieties
A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
On Residuation
On Vidal's trivalent explanations for defective conditional in mathematics
A framework for proof systems
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives
A system of interaction and structure. V: The exponentials and splitting
Noncommutative linear logic and its quantale semantics
Title not available (Why is no real title available?)
Non-commutative proof construction: a constraint-based approach
Rule-following and the limits of formalization: Wittgenstein's considerations through the lens of logic
An automated method for building cognitive models for turn-based games from a strategy logic
Non-commutative logic. III: Focusing proofs.
Title not available (Why is no real title available?)
Categorial dependency grammars with iterated sequences
Applying pregroups to Italian statements and questions
Title not available (Why is no real title available?)
Modularity of proof-nets. Generating the type of a module.
A mixed \(\lambda\)-calculus
Word order alternation in Sanskrit via precyclicity in pregroup grammars
Cyclic multiplicative proof nets of linear logic with an application to language parsing
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing
A geometrical procedure for computing relaxation
Proof nets for multiplicative cyclic linear logic and Lambek calculus
Connection-based proof construction in non-commutative logic
A geometrical representation of the basic laws of categorial grammar
A logical calculus for controlled monotonicity
Categorical proof theory of classical propositional calculus
Non-normal modalities in variants of linear logic
Non-commutative logic II: sequent calculus and phase semantics
Title not available (Why is no real title available?)
Non-Commutative First-Order Sequent Calculus
Pomset logic. The other approach to noncommutativity in logic
A system of interaction and structure. IV: The exponentials and decomposition
Linear exponential comonads without symmetry
Proof-search and proof nets in mixed linear logic
A Survey of the Proof-Theoretic Foundations of Logic Programming
Title not available (Why is no real title available?)
Permutative Additives and Exponentials
Contrary-to-duty reasoning: a categorical approach
Title not available (Why is no real title available?)

This page was built for publication: Non-commutative logic. I: The multiplicative fragment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1964014)