Ultrametric spaces and logic programming

Journal of Logic Programming

Volumn 42, Issue 2, 2000, Pages 59-70

  Priess Crampe, Sibylla ^a   Ribenboim, Paulo ^b  

^a UNIVERSITY OF MUNICH   (Germany)

^b QUEEN S UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; THEOREM PROVING;

MULTIVALUED FIXED POINT THEOREM; SINGLEVALUED FIXED POINT THEOREM; ULTRAMETRIC SPACES;

LOGIC PROGRAMMING;

EID: 0034135737     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(99)00002-3     Document Type: Article

References (9)

1. K. Doets, From Logic to Logic Programming. Foundations of Computing Series, MIT Press, Cambridge, MA, 1994.
2. M. Fitting, Metric methods, three examples and a theorem, J. Logic Programming 21 (1994) 113-127.
3. M.A. Khamsi, V. Kreinovich, D. Misane, A new method of proving the existence of answer sets for disjunctive logic programs: a metric fixed point theorem for multi-valued mappings, in: Proceedings of The Workshop on Logic Programming with Incomplete Information, Vancouver, B.C., Canada, October 1993, pp. 58-73.
4. S.B. Nadler Jr., Multi-valued contracting mappings, Pacific J. Math. 30 (1969) 475-488.
5. S. Priess-Crampe, P. Ribenboim, Fixed points, combs and generalized power series, Abh. Math. Sem. Univ. Hamburg 63 (1993) 227-244.
6. S. Priess-Crampe, P. Ribenboim, Generalized ultrametric spaces I, Abh. Math. Sem. Univ. Hamburg 66 (1996) 55-73.
7. P. Ribenboim, The new theory of ultrametric spaces, Periodica Math. Hung. 32 (1996) 103-111.
8. J.J.M.M. Rutten, Elements of generalized ultrametric domain theory, Technical Report, Centrum voor Wiskunde en Informatica, Amsterdam, 1996, to appear in Theoretical Computer Science.
9. A.K. Seda, Quasi-metrics and the semantics of logic programs, Fundamenta Informaticae 29 (1997) 97-117.