Document Type
Conference Proceeding
Publication Date
7-1-2000
Abstract
We present a new fixed-point theorem akin to the Banach contraction mapping theorem, but in the context of a novel notion of generalized metric space, and show how it can be applied to analyse the denotational semantics of certain logic programs. The theorem is obtained by generalizing a theorem of Priess-Crampe and Ribenboim, which grew out of applications within valuation theory, but is also inspired by a theorem of S.G. Matthews which grew out of applications to conventional programming language semantics. The class of programs to which we apply our theorem was defined previously by us in terms of operators using three-valued logics. However, the new treatment we provide here is short and intuitive, and provides further evidence that metric-like structures are an appropriate setting for the study of logic programming semantics.
Repository Citation
Seda, A. K.,
& Hitzler, P.
(2000). A New Fixed-Point Theorem for Logic Programming Semantics. .
https://corescholar.libraries.wright.edu/cse/83
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
Presented at the Joint IIIS & IEEE Meeting of the 4th World Multiconference on Systemics, Cybernetics, and Informatics and the 6th International Conference on Information Systems Analysis and Synthesis, Orlando, FL, July 2000.