Fuzzy terms
From MaRDI portal
Publication:277347
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
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
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
- 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
- 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
