David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
£ 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 stratiﬁed or locally stratiﬁed, 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 . The intention in presenting these examples and the theorem is to stimulate interest in..
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Itay Ben-Yaacov (2005). Uncountable Dense Categoricity in Cats. Journal of Symbolic Logic 70 (3):829 - 860.
Josef Berger, Douglas Bridges & Peter Schuster (2006). The Fan Theorem and Unique Existence of Maxima. Journal of Symbolic Logic 71 (2):713 - 720.
Marion Scheepers (1999). Finite Powers of Strong Measure Zero Sets. Journal of Symbolic Logic 64 (3):1295-1306.
Steven Weinstein (1996). Strange Couplings and Space-Time Structure. Philosophy of Science 63 (3):70.
Walter A. Carnielli (1987). Systematization of Finite Many-Valued Logics Through the Method of Tableaux. Journal of Symbolic Logic 52 (2):473-493.
Viggo Stoltenberg-Hansen & John V. Tucker (2003). Computable and Continuous Partial Homomorphisms on Metric Partial Algebras. Bulletin of Symbolic Logic 9 (3):299-334.
Manfred Krifka, Be Brief and Vague! And How Bidirectional Optimality Theory Allows for Verbosity and Precision.
M. J. Cresswell (2013). Predicate Metric Tense Logic for 'Now' and 'Then'. Journal of Philosophical Logic 42 (1):1-24.
Thomas Macaulay Ferguson (2012). Notes on the Model Theory of DeMorgan Logics. Notre Dame Journal of Formal Logic 53 (1):113-132.
Robert Goldblatt (1985). On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic. Journal of Symbolic Logic 50 (2):412-422.
Dexter Kozen (1988). A Finite Model Theorem for the Propositional Μ-Calculus. Studia Logica 47 (3):233 - 241.
Paolo Gentilini (1999). Proof-Theoretic Modal Pa-Completeness I: A System-Sequent Metric. Studia Logica 63 (1):27-48.
Added to index2010-12-22
Total downloads8 ( #266,667 of 1,724,745 )
Recent downloads (6 months)5 ( #134,580 of 1,724,745 )
How can I increase my downloads?