Pages that link to "Item:Q3984416"

The following pages link to Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic (Q3984416):

Displayed 49 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)