Fuzzy terms

DOI10.1016/j.fss.2013.02.012zbMath1334.03022OpenAlexW2914099066MaRDI QIDQ277347

M. Ángeles Galán, Robert Helgesson, Jari Kortelainen, Patrik E. Eklund

Publication date: 29 April 2016

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2013.02.012

zbMATH Keywords

category theoryquantaleterm monads

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Quantales (06F07)

Related Items (5)

Topological systems as a framework for institutions ⋮ A survey on the categorical term construction with applications ⋮ Non-commutative Quantales for Many-Valuedness in Applications ⋮ The Syntax of Many-Valued Relations ⋮ Rough Objects in Monoidal Closed Categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Adding fuzziness to terms and powerobjects using a monadic approach
• A non-commutative and non-idempotent theory of quantale sets
• Monadic extensions of institutions
• On fuzzy type theory
• Attributive concept descriptions with complements
• Homotopy theory in general categories
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Metamathematics of fuzzy logic
• Foundations of fuzzy sets
• Powersets of terms and composite monads
• Adjoint functors and triples
• L-fuzzy sets
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• Generalized arithmetic
• Adjoint Functors
• Institutions: abstract model theory for specification and programming
• Every Standard Construction is Induced by a Pair of Adjoint Functors
• Two Complete Axiom Systems for the Algebra of Regular Events
• Categorical algebra
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• General Theory of Natural Equivalences

This page was built for publication: Fuzzy terms