scientific article; zbMATH DE number 786486

MaRDI QIDQ4842967zbMATH OpenFDO

Authors J. Lambek

Publication date 31 October 1995

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)

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

Cited in

(12)

• Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives
• Logic and grammar
• Non-commutative linear logic in linguistics
• Glueing and orthogonality for models of linear logic
• Linear Läuchli semantics
• Proof theory in the abstract
• Modeling Martin-Löf type theory in categories
• On canonical embeddings of residuated groupoids
• scientific article; zbMATH DE number 1303456 (Why is no real title available?)
• 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)