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.. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesItay 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.
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.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-12-22Total downloads1 ( #275,053 of 549,694 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
