|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 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||No categories specified (fix it)|
|Through your library||Only published papers are available at libraries|
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.
Sorry, there are not enough data points to plot this chart.
Added to index2010-12-22
Total downloads1 ( #275,053 of 549,694 )
Recent downloads (6 months)0
How can I increase my downloads?