Poset-valued sets or how to build models for linear logics
From MaRDI portal
Publication:1826627
DOI10.1016/j.tcs.2003.11.014zbMath1055.03040WikidataQ56994546 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
03G30: Categorical logic, topoi
03F52: Proof-theoretic aspects of linear logic and other substructural logics
18A99: General theory of categories and functors
Related Items
YET ANOTHER FUZZY MODEL FOR LINEAR LOGIC, Coherence in SMCCs and equivalences on derivations in IMML with unit
Cites Work