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

DOI10.1007/978-3-540-73400-0_5zbMATH Open1182.68088OpenAlexW1597570785MaRDI QIDQ3638342FDOQ3638342

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

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

Mathematics Subject Classification ID

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

Cited In (8)

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

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)