scientific article; zbMATH DE number 2185722

MaRDI QIDQ3024915zbMATH OpenFDO

Authors Christian Retoré

Publication date 4 July 2005

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Semantics in the theory of computing (68Q55)

Recommendations

• Pomset logic. The other approach to noncommutativity in logic
• Non-commutative linear logic in linguistics
• On noncommutative extensions of linear logic
• Non-commutative logic. I: The multiplicative fragment
• Phase semantics for a pure noncommutative linear propositional logic

Cited in

(25)

• Handsome proof-nets: Perfect matchings and cographs
• On the decision problem for MELL
• MELL in the calculus of structures
• Non-commutative logic. I: The multiplicative fragment
• System BV is NP-complete
• Observed Communication Semantics for Classical Processes
• Permutative Additives and Exponentials
• scientific article; zbMATH DE number 1104370 (Why is no real title available?)
• Non-commutative logic II: sequent calculus and phase semantics
• Deep inference and probabilistic coherence spaces
• Non-normal modalities in variants of linear logic
• System NEL is undecidable
• Pomset logic. The other approach to noncommutativity in logic
• An Analytic Propositional Proof System on Graphs
• Constructing weak simulations from linear implications for processes with private names
• A Survey of the Proof-Theoretic Foundations of Logic Programming
• BV and Pomset Logic Are Not the Same
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
• Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces
• A semantic proof of generalised cut elimination for deep inference
• Implicit automata in typed -calculi I: aperiodicity in a non-commutative logic
• Pomsets with boxes: protection, separation, and locality in concurrent Kleene algebra
• Linear logic in a refutational setting
• Deep inference in proof search: the need for shallow inference
• Lambek calculus with banged atoms for parasitic gaps

This page was built for publication:

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