Similarities between powersets of terms

DOI10.1016/J.FSS.2003.10.021zbMath1091.68022OpenAlexW2095976488MaRDI QIDQ1827316

Yanyan Li

Publication date: 6 August 2004

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

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

zbMATH Keywords

SimilaritiesCategory theory and unificationFuzzy unificationGeneralised terms

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic programming (68N17) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (4)

Topological systems as a framework for institutions ⋮ Relational, closure and partition powerset theories ⋮ Adding fuzziness to terms and powerobjects using a monadic approach ⋮ Powersets of terms and composite monads

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A survey of fuzzy set and topos theory
• Metamathematics of fuzzy logic
• Translations and similarity-based logic programming
• On the semantics of fuzzy logic
• Adjoint functors and triples
• L-fuzzy sets
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• Every Standard Construction is Induced by a Pair of Adjoint Functors
• A Machine-Oriented Logic Based on the Resolution Principle
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: Similarities between powersets of terms