scientific article; zbMATH DE number 786486

zbMATH Open0823.03038MaRDI QIDQ4842967FDOQ4842967

Authors: J. Lambek 

Publication date: 31 October 1995

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1303456
• Bilattices and the semantics of logic programming
• Bistructures, bidomains and linear logic
• Bialgebraic semantics for logic programming
• scientific article; zbMATH DE number 1406803
• Bipolarity in bilattice logics
• Some lattice models of bilinear logic
• Non-commutative linear logic in linguistics
• scientific article; zbMATH DE number 786485
• scientific article; zbMATH DE number 567281

zbMATH Keywords

categorical semanticssyntactic calculusadditive functorsfragment of noncommutative linear logicgeneralized bimoduleslabeled bilinear logic

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Grammars and rewriting systems (68Q42) Categorical logic, topoi (03G30)

Cited In (12)

• Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives
• Logic and grammar
• Non-commutative linear logic in linguistics
• Linear Läuchli semantics
• Glueing and orthogonality for models of linear logic
• Proof theory in the abstract
• Modeling Martin-Löf type theory in categories
• On canonical embeddings of residuated groupoids
• Title not available (Why is that?)
• Grammar specification in categorial logics and theorem proving
• \(*\)-autonomous categories of bimodules
• Grishin algebras and cover systems for classical bilinear logic

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 Q4842967)