Fuzzy logic programming via multilattices

DOI10.1016/j.fss.2006.11.006zbMath1111.68016OpenAlexW2152560153MaRDI QIDQ876496

Jorge Ruiz-Calviño, Jesús Medina, Manuel Ojeda Aciego

Publication date: 18 April 2007

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

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

zbMATH Keywords

fuzzy logic programmingmultilatticesfixed point semantics

Mathematics Subject Classification ID

Logic programming (68N17) Lattices (06B99)

Related Items (16)

Beyond multi-adjoint logic programming ⋮ Congruence relations on some hyperstructures ⋮ Adjoint negations, more than residuated negations ⋮ A coalgebraic approach to non-determinism: applications to multilattices ⋮ Formal Concepts and Residuation on Multilattices ⋮ Multi-adjoint algebras versus non-commutative residuated structures ⋮ \(\mathcal{L} \)-fuzzy cosets of \(\mathcal{L} \)-fuzzy filters of residuated multilattices ⋮ Multilattices on typical hesitant fuzzy sets ⋮ Multi-adjoint relation equations: definition, properties and solutions using concept lattices ⋮ Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices ⋮ On the Dedekind-MacNeille completion and formal concept analysis based on multilattices ⋮ Finitary coalgebraic multisemilattices and multilattices. ⋮ Adjoint Triples and Residuated Aggregators ⋮ Fuzzy congruence relations on nd-groupoids ⋮ Multiplicative and implicative derivations on residuated multilattices ⋮ On residuation in multilattices: filters, congruences, and homomorphisms.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalizations of lattices via non-deterministic operators
• A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics
• Some results involving multilattice ideals and distributivity
• An axiomatic characterization of multilattices
• Fixed point theorems in logic programming
• Clausal logic and logic programming in algebraic domains
• Partially ordered sets and the Schreier refinement theorem, II. Theory of multistructures
• Multi-lattices as a Basis for Generalized Fuzzy Logic Programming
• Bilattices and the semantics of logic programming
• A fixed point theorem in partially ordered sets and some applications to matrix equations
• Mathematical Foundations of Computer Science 2004
• Fuzzy logic programming

This page was built for publication: Fuzzy logic programming via multilattices