A Fixed-Point Theorem for Multi-valued Functions with an Application to Multilattice-Based Logic Programming

DOI10.1007/978-3-540-73400-0_5MaRDI QIDQ3638342zbMATH OpenOpenAlexFDO

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

Publication date 2 July 2009

Published in Applications of Fuzzy Sets Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73400-0_5

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
• A slight strengthening of a theorem of Blair and Kunen
• A fixed point theorem for non-monotonic functions
• Fixed point theory for complete T-lattice in logic programming
• scientific article; zbMATH DE number 1978322

Cited in

(8)

• A slight strengthening of a theorem of Blair and Kunen
• A fixed point theorem for non-monotonic functions
• Uniqueness of the fixed points of single-step operators determined by Belnap's four-valued logic
• On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
• scientific article; zbMATH DE number 1978322 (Why is no real title available?)
• Domain theory for nonmonotonic functions
• Fixed point theory for complete T-lattice in logic programming
• Immediate fixpoints and their use in groundness analysis

This page was built for publication: A Fixed-Point Theorem for Multi-valued Functions with an Application to Multilattice-Based Logic Programming

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