Building models of linear logic. (Extended abstract)

DOI10.1007/3-540-49253-4_14MaRDI QIDQ4250365zbMATH OpenFDO

Authors Andrea Schalk, Valeria de Paiva

Publication date 23 November 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-49253-4_14

zbMATH Keywords

category of sets and relationsclosed posetendofunctormodels of linear logic

Mathematics Subject Classification ID

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

Review text

The authors describe a general method of constructing categories which provide models for linear logic, starting from an endofunctor \(F\) of the category of sets and relations and a closed poset \(L\). They show that specific choices of \(F\) and \(L\) yield many of the particular models which have been considered by earlier authors. For the entire collection see [Zbl 0906.00024].

Recommendations

• Poset-valued sets or how to build models for linear logics
• YET ANOTHER FUZZY MODEL FOR LINEAR LOGIC
• scientific article; zbMATH DE number 2134910
• Glueing and orthogonality for models of linear logic

Cited in

(18)

• Glueing and orthogonality for models of linear logic
• Models of linear logic
• Poset-valued sets or how to build models for linear logics
• Comparing hierarchies of types in models of linear logic
• scientific article; zbMATH DE number 1722655 (Why is no real title available?)
• Constructing fully complete models for multiplicative linear logic
• Categorical models of logical systems in the mathematical theory of programming
• Constructing Fully Complete Models of Multiplicative Linear Logic
• scientific article; zbMATH DE number 4148062 (Why is no real title available?)
• The Scott model of linear logic is the extensional collapse of its relational model
• scientific article; zbMATH DE number 1231527 (Why is no real title available?)
• scientific article; zbMATH DE number 720881 (Why is no real title available?)
• Introduction to linear bicategories
• A linear/producer/consumer model of classical linear logic
• scientific article; zbMATH DE number 2134910 (Why is no real title available?)
• scientific article; zbMATH DE number 786487 (Why is no real title available?)
• Computer Science Logic
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings

This page was built for publication: Building models of linear logic. (Extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4250365)