Fuzzy models of linear logic

DOI10.1017/S096012950000102XMaRDI QIDQ4715677zbMATH OpenFDO

Authors Michael Barr

Publication date 18 November 1996

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S096012950000102X

zbMATH Keywords

\(*\)-autonomous categorycategory of fuzzy relations with values in a \(*\)-autonomous posetcofree coalgebras

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Theory of fuzzy sets, etc. (03E72) Categorical logic, topoi (03G30) Categories of spans/cospans, relations, or partial maps (18B10) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Recommendations

• YET ANOTHER FUZZY MODEL FOR LINEAR LOGIC
• *-Autonomous categories and linear logic
• scientific article; zbMATH DE number 4103051
• Accessible categories and models of linear logic

Cited in

(11)

• The pseudo-linear semantics of interval-valued fuzzy logics
• Arrow categories
• Chu spaces as a semantic bridge between linear logic and mathematics.
• On the algebraic structure of linear, relevance, and fuzzy logics
• \(\bigstar\)-autonomous lattices and fuzzy sets
• Constructions of fuzzy logic models in categories of sets with similarities
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• YET ANOTHER FUZZY MODEL FOR LINEAR LOGIC
• Fuzzy equational logic
• A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations
• On compositions of (L-fuzzy) automata: a categorical approach

This page was built for publication: Fuzzy models of linear logic

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