Metric Methods Three Examples and a Theorem

Abstract

£ The existence of a model for a logic program is generally established by lattice-theoretic arguments. We present three examples to show that metric methods can often be used instead, generally in a direct, straightforward way. One example is a game program, which is not stratified or locally stratified, but which has a unique supported model whose existence is easily established using metric methods. The second example is a program without a unique supported model, but having a part that is ‘well-behaved.’ The third example is a program in which one part depends on another, illustrating how modularity might be treated metrically. Finally we use ideas from this third example to prove a general result from [3]. The intention in presenting these examples and the theorem is to stimulate interest in..

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

Strange couplings and space-time structure.Steven Weinstein - 1996 - Philosophy of Science 63 (3):70.
Categoricity in homogeneous complete metric spaces.Åsa Hirvonen & Tapani Hyttinen - 2009 - Archive for Mathematical Logic 48 (3-4):269-322.
Program execution in connectionist networks.Martin Roth - 2005 - Mind and Language 20 (4):448-467.
Omitting types for infinitary [ 0, 1 ] -valued logic.Christopher J. Eagle - 2014 - Annals of Pure and Applied Logic 165 (3):913-932.
Uncountable Dense Categoricity in Cats.Itay Ben-Yaacov - 2005 - Journal of Symbolic Logic 70 (3):829 - 860.

Analytics

Added to PP
2010-12-22

Downloads
21 (#1,049,356)

6 months
21 (#132,862)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

References found in this work

Foundations of Logic Programming.J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289.

Add more references