Fuzzy logic programming via multilattices

DOI10.1016/J.FSS.2006.11.006MaRDI QIDQ876496zbMATH OpenOpenAlexFDO

Authors Jesús Medina, Jorge Ruiz-Calviño, 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)

Recommendations

• Multi-lattices as a Basis for Generalized Fuzzy Logic Programming
• Fuzzy logic programming
• Fuzzy logic programming
• A semantics and a logic for \textit{Fuzzy Arden Syntax}
• scientific article; zbMATH DE number 764342

Cites work

• scientific article; zbMATH DE number 3506752 (Why is no real title available?)
• scientific article; zbMATH DE number 3598539 (Why is no real title available?)
• scientific article; zbMATH DE number 1844513 (Why is no real title available?)
• scientific article; zbMATH DE number 1884400 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• A fixed point theorem in partially ordered sets and some applications to matrix equations
• A fuzzy version of Tarski's fixpoint theorem.
• A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics
• An axiomatic characterization of multilattices
• Bilattices and the semantics of logic programming
• Clausal logic and logic programming in algebraic domains
• Fixed point theorems in logic programming
• Fuzzy logic programming
• Generalizations of lattices via non-deterministic operators
• Mathematical Foundations of Computer Science 2004
• Multi-lattices as a Basis for Generalized Fuzzy Logic Programming
• Partially ordered sets and the Schreier refinement theorem, II. Theory of multistructures
• Some results involving multilattice ideals and distributivity

Cited in

(27)

• Thresholded semantic framework for a fully integrated fuzzy logic language
• Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices
• Multi-lattices as a Basis for Generalized Fuzzy Logic Programming
• A semantics and a logic for \textit{Fuzzy Arden Syntax}
• Bilattices for deductions in multi-valued logic
• Formal Concepts and Residuation on Multilattices
• Adjoint Triples and Residuated Aggregators
• Multilattices on typical hesitant fuzzy sets
• Modeling a fuzzy coprocessor and its programming language
• Fuzzy logic programming and fuzzy control
• scientific article; zbMATH DE number 5210633 (Why is no real title available?)
• Finitary coalgebraic multisemilattices and multilattices.
• scientific article; zbMATH DE number 1774966 (Why is no real title available?)
• Beyond multi-adjoint logic programming
• Fuzzy logic programs as hypergraphs. Termination results
• A \(Sarsa(\lambda)\) algorithm based on double-layer fuzzy reasoning
• Adjoint negations, more than residuated negations
• Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs
• On residuation in multilattices: filters, congruences, and homomorphisms.
• Multiplicative and implicative derivations on residuated multilattices
• Congruence relations on some hyperstructures
• Multi-adjoint algebras versus non-commutative residuated structures
• Multi-adjoint relation equations: definition, properties and solutions using concept lattices
• \(\mathcal{L} \)-fuzzy cosets of \(\mathcal{L} \)-fuzzy filters of residuated multilattices
• A coalgebraic approach to non-determinism: applications to multilattices
• Fuzzy congruence relations on nd-groupoids
• On the Dedekind-MacNeille completion and formal concept analysis based on multilattices

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

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