scientific article; zbMATH DE number 1406803

MaRDI QIDQ4940719zbMATH OpenFDO

Authors J. Lambek

Publication date 28 February 2000

zbMATH Keywords

bilinear logiccategorial grammarcut eleminationlinear logiclogic without structural rulesnoncommutative linear logicrelational algebraresiduated monoid modelssubstructural logicsurveysyntactic calculus

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Cylindric and polyadic algebras; relation algebras (03G15)

Cited in

(27)

• Natural deduction and coherence for weakly distributive categories
• *-autonomous categories of bimodules
• Some lattice models of bilinear logic
• Natural deduction bottom up
• Semantic vector models and functional models for pregroup grammars
• Type logics and pregroups
• Lambek calculus is NP-complete
• Intuitionistic layered graph logic
• Stone-type dualities for separation logics
• Graphs of plural cuts
• Autonomous posets and quantales
• A Concrete Categorical Model for the Lambek Syntactic Calculus
• scientific article; zbMATH DE number 6970800 (Why is no real title available?)
• A comparison between monoidal and substructural logics
• scientific article; zbMATH DE number 786486 (Why is no real title available?)
• Galois connections in categorial type logic
• The Mathematics of Text Structure
• Subexponentials in non-commutative linear logic
• Power and limits of structural display rules
• Abstract hidden Markov models: a monadic account of quantitative information flow
• Monoidal logics: completeness and classical systems
• Multi-sorted residuation
• On canonical embeddings of residuated groupoids
• Proof theory in the abstract
• Weakly distributive categories
• Symmetric categorial grammar
• Continuation semantics for the Lambek-Grishin calculus

This page was built for publication:

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