scientific article; zbMATH DE number 786486
From MaRDI portal
Publication:4842967
zbMath0823.03038MaRDI QIDQ4842967
No author found.
Publication date: 31 October 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
categorical semanticssyntactic calculusadditive functorsfragment of noncommutative linear logicgeneralized bimoduleslabeled bilinear logic
Categorical logic, topoi (03G30) Grammars and rewriting systems (68Q42) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (8)
Modeling Martin-Löf type theory in categories ⋮ \(*\)-autonomous categories of bimodules ⋮ Linear Läuchli semantics ⋮ Glueing and orthogonality for models of linear logic ⋮ Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives ⋮ Grammar specification in categorial logics and theorem proving ⋮ On Canonical Embeddings of Residuated Groupoids ⋮ Proof theory in the abstract
This page was built for publication:
