scientific article; zbMATH DE number 1303730

zbMath0926.03082MaRDI QIDQ4250365

Andrea Schalk, V. C. V. de Paiva

Publication date: 23 November 1999

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

zbMATH Keywords

endofunctormodels of linear logiccategory of sets and relationsclosed poset

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication: