Similarities between powersets of terms

DOI10.1016/J.FSS.2003.10.021MaRDI QIDQ1827316zbMATH OpenOpenAlexFDO

Authors Yanyan Li, Patrik Eklund, M. A. Galán, Jesús Medina Moreno, Manuel Ojeda-Aciego, A. Valverde

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

Category theory and unificationFuzzy unificationGeneralised termsSimilarities

Mathematics Subject Classification ID

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

Recommendations

• Similarity and dissimilarity in posets
• Power-like models of set theory
• On poset similarity
• Similar dissection of sets
• Sums of like powers and some dense sets
• Powers of ordered sets
• scientific article; zbMATH DE number 4129248
• Similar powers of a matrix
• Some properties of similar pairs
• Relational powerset theories

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• A survey of fuzzy set and topos theory
• Adjoint functors and triples
• Every Standard Construction is Induced by a Pair of Adjoint Functors
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3769855 (Why is no real title available?)
• scientific article; zbMATH DE number 3455459 (Why is no real title available?)
• scientific article; zbMATH DE number 1455621 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 3999263 (Why is no real title available?)
• scientific article; zbMATH DE number 764338 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• L-fuzzy sets
• Metamathematics of fuzzy logic
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• On the semantics of fuzzy logic
• Translations and similarity-based logic programming

Cited in

(8)

• Similarity and dissimilarity in posets
• Topological systems as a framework for institutions
• Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach
• Powersets of terms and composite monads
• A categorical approach to unification of generalised terms
• Adding fuzziness to terms and powerobjects using a monadic approach
• Some properties of similar pairs
• Relational, closure and partition powerset theories

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

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