Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic

semantics completeness planar graphs cut elimination soundness propositional logic cut rule phase spaces proof-nets noncommutative linear logic noncommutative monoid with unit one-sided sequent calculi two-sided sequent calculus

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70) Structure of proofs (03F07)

Recommendations

Phase semantics for a pure noncommutative linear propositional logic
Non-commutative logic II: sequent calculus and phase semantics
Non-commutative logic. I: The multiplicative fragment

Cites work

Constructing locales from quantales
Linear logic
Non‐commutative intuitionistic linear logic

Cited in

(61)

On classical nonassociative Lambek calculus
Some lattice models of bilinear logic
scientific article; zbMATH DE number 7089066 (Why is no real title available?)
A computational algebraic approach to Latin grammar
Symmetric categorial grammar
Residuated frames with applications to decidability
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
Strong negation in intuitionistic style sequent systems for residuated lattices
A system of interaction and structure. V: The exponentials and splitting
Exchange rules
scientific article; zbMATH DE number 1841813 (Why is no real title available?)
Handsome proof-nets: Perfect matchings and cographs
Weakly distributive categories
Classical linear logics with mix separation principle
The finite model property for various fragments of linear logic
Relations and non-commutative linear logic
Linear Läuchli semantics
A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
Proper semantics for substructural logics, from a stalker theoretic point of view
Proof diagrams for multiplicative linear logic: syntax and semantics
Phase semantics for a pure noncommutative linear propositional logic
Categorial grammars and their logics
Parsing pregroup grammars and Lambek calculus using partial composition
European Summer Meeting of the Association for Symbolic Logic
Representation Theorems for Quantales
Relational Models for the Lambek Calculus with Intersection and Constants
Word order alternation in Sanskrit via precyclicity in pregroup grammars
Multiplicative linear logics and fibrations
One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
scientific article; zbMATH DE number 218517 (Why is no real title available?)
A geometrical representation of the basic laws of categorial grammar
On canonical embeddings of residuated groupoids
Non-commutative classical arithmetical sequent calculi are intuitionistic
scientific article; zbMATH DE number 7441265 (Why is no real title available?)
Type logics and pregroups
A computational algebraic analysis of Hindi syntax
Holomorphic models of exponential types in linear logic
Orthogonality and Boolean Algebras for Deduction Modulo
Lambek calculus is NP-complete
Explorations in Subexponential Non-associative Non-commutative Linear Logic
Multi-adjoint algebras versus non-commutative residuated structures
Non-commutative logic II: sequent calculus and phase semantics
Galois connections in categorial type logic
Autonomous posets and quantales
Finite models of some substructural logics
Hopf algebras and linear logic
Involutive nonassociative Lambek calculus: sequent systems and complexity
Natural deduction and coherence for weakly distributive categories
Pomset logic. The other approach to noncommutativity in logic
Non-commutative logic. I: The multiplicative fragment
Graphs of plural cuts
A phase semantics for polarized linear logic and second order conservativity
On phase semantics and denotational semantics in multiplicative-additive linear logic
Proof-search in type-theoretic languages: An introduction
Linear exponential comonads without symmetry
The shuffle Hopf algebra and noncommutative full completeness
Cut elimination and strong separation for substructural logics: an algebraic approach
Proof-search and proof nets in mixed linear logic
On involutive nonassociative Lambek calculus
Contrary-to-duty reasoning: a categorical approach
2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05

This page was built for publication: Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic

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