scientific article; zbMATH DE number 2020176

zbMath1036.03044MaRDI QIDQ4440825

Gianluigi Bellin

Publication date: 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear logicChu spacesmonoidal closed category\(*\)-autonomous categoryproof-nets

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Glueing and orthogonality for models of linear logic ⋮ Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory