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):
Displaying 34 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)
- A phase semantics for polarized linear logic and second order conservativity (Q5190190) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
- A computational algebraic analysis of Hindi syntax (Q6190084) (← links)
