scientific article; zbMATH DE number 1406803
From MaRDI portal
Publication:4940719
zbMath0941.03518MaRDI QIDQ4940719
No author found.
Publication date: 28 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveylinear logicsubstructural logicrelational algebracategorial grammarbilinear logicsyntactic calculusnoncommutative linear logiccut eleminationlogic without structural rulesresiduated monoid models
Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (26)
Power and Limits of Structural Display Rules ⋮ \(*\)-autonomous categories of bimodules ⋮ Symmetric categorial grammar ⋮ Some lattice models of bilinear logic ⋮ Autonomous posets and quantales ⋮ Natural deduction and coherence for weakly distributive categories ⋮ Graphs of plural cuts ⋮ A comparison between monoidal and substructural logics ⋮ A Concrete Categorical Model for the Lambek Syntactic Calculus ⋮ Monoidal logics: completeness and classical systems ⋮ Natural deduction bottom up ⋮ Weakly distributive categories ⋮ Type logics and pregroups ⋮ Unnamed Item ⋮ Multi-Sorted Residuation ⋮ On Canonical Embeddings of Residuated Groupoids ⋮ Semantic vector models and functional models for pregroup grammars ⋮ Continuation semantics for the Lambek-Grishin calculus ⋮ Galois Connections in Categorial Type Logic ⋮ Unnamed Item ⋮ Lambek calculus is NP-complete ⋮ Proof theory in the abstract ⋮ Unnamed Item ⋮ Intuitionistic Layered Graph Logic ⋮ Subexponentials in non-commutative linear logic ⋮ The Mathematics of Text Structure
This page was built for publication:
