scientific article; zbMATH DE number 1415884

MaRDI QIDQ4943162zbMATH OpenFDO

Authors Sibylla Priess-Crampe, Paulo Ribenboim

Publication date 16 March 2000

zbMATH Keywords

Herbrand models

Mathematics Subject Classification ID

Fixed-point and coincidence theorems (topological aspects) (54H25) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Ultrametric spaces and logic programming
• scientific article; zbMATH DE number 1824109
• Generalized metrics and uniquely determined logic programs.
• The fixed-point theory of strictly contracting functions on generalized ultrametric semilattices
• scientific article; zbMATH DE number 994051

Cited in

(9)

• Generalized metrics and uniquely determined logic programs.
• From rational Gödel logic to ultrametric logic
• Fixed points and diametral sets for sequentially bounded mappings in orbital ultrametric spaces
• Ultrametric spaces and logic programming
• The fixed-point theory of strictly contracting functions on generalized ultrametric semilattices
• scientific article; zbMATH DE number 5176700 (Why is no real title available?)
• Some classes of distance spaces as generalized metric spaces: terminology, mappings, fixed points and applications in theoretical informatics
• Convergence and fixed points by fuzzy orders
• Generalized ultrametric spaces in quantitative domain theory

This page was built for publication:

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