Pages that link to "Item:Q3984416"
From MaRDI portal
The following pages link to Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic (Q3984416):
Displayed 50 items.
- Graphs of plural cuts (Q383359) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Weakly distributive categories (Q674463) (← links)
- A computational algebraic approach to Latin grammar (Q812147) (← links)
- Symmetric categorial grammar (Q843772) (← links)
- Multi-adjoint algebras versus non-commutative residuated structures (Q900276) (← links)
- Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
- Phase semantics for a pure noncommutative linear propositional logic (Q1288431) (← links)
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics (Q1344886) (← links)
- Handsome proof-nets: Perfect matchings and cographs (Q1398476) (← links)
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic (Q1398479) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Some lattice models of bilinear logic (Q1906000) (← links)
- Relations and non-commutative linear logic (Q1910723) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- Proof diagrams for multiplicative linear logic: syntax and semantics (Q2331072) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- A geometrical representation of the basic laws of categorial grammar (Q2363501) (← links)
- On involutive nonassociative Lambek calculus (Q2425321) (← links)
- Proper semantics for substructural logics, from a stalker theoretic point of view (Q2426733) (← links)
- Type logics and pregroups (Q2467212) (← links)
- Parsing pregroup grammars and Lambek calculus using partial composition (Q2467213) (← links)
- Lambek calculus is NP-complete (Q2500488) (← links)
- (Q2703720) (← links)
- Exchange rules (Q2747701) (← links)
- Finite Models of Some Substructural Logics (Q2776810) (← links)
- Multiplicative Linear Logics and Fibrations (Q2842824) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- On Classical Nonassociative Lambek Calculus (Q2963995) (← links)
- Orthogonality and Boolean Algebras for Deduction Modulo (Q3007658) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- The shuffle Hopf algebra and noncommutative full completeness (Q4254690) (← links)
- Representation Theorems for Quantales (Q4304104) (← links)
- Autonomous posets and quantales (Q4304551) (← links)
- The finite model property for various fragments of linear logic (Q4382470) (← links)
- Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity (Q4608556) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q4837676) (← links)
- Hopf algebras and linear logic (Q4882498) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)
- Galois Connections in Categorial Type Logic (Q4923551) (← links)
- One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity (Q4999464) (← links)
- (Q5014808) (← links)
- Linear Exponential Comonads without Symmetry (Q5014810) (← links)
- A phase semantics for polarized linear logic and second order conservativity (Q5190190) (← links)
- (Q5227516) (← links)
- On Canonical Embeddings of Residuated Groupoids (Q5414968) (← links)
- Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars (Q5418966) (← links)
- Holomorphic models of exponential types in linear logic (Q5890062) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)