Poset-valued sets or how to build models for linear logics

DOI10.1016/j.tcs.2003.11.014zbMath1055.03040OpenAlexW2073721500WikidataQ56994546 ScholiaQ56994546MaRDI QIDQ1826627

Andrea Schalk, V. C. V. de Paiva

Publication date: 6 August 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2003.11.014

zbMATH Keywords

linear logiccategorical modelsposet-valued sets

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52) General theory of categories and functors (18A99)

Related Items (3)

YET ANOTHER FUZZY MODEL FOR LINEAR LOGIC ⋮ Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations

Cites Work

• Linear logic
• Glueing and orthogonality for models of linear logic
• Localisation and interaction in one dimension
• Games and full completeness for multiplicative linear logic
• The Carcinogenic Example
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Poset-valued sets or how to build models for linear logics