Journal of Symbolic Logic 68 (4):1109-1144 (2003)
The theory of ranked partial structures allows a reinterpretation of several of the standard results of model theory and first-order logic and is intended to provide a proof-theoretic method which allows for the intuitions of model theory. A version of the downward Löwenheim-Skolem theorem is central to our development. In this paper we will present the basic theory of ranked partial structures and their logic including an appropriate version of the completeness theorem
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures.Ian Hodkinson & Martin Otto - 2003 - Bulletin of Symbolic Logic 9 (3):387-405.
Empirical Adequacy: A Partial Structures Approach.O. Bueno - 1997 - Studies in History and Philosophy of Science Part A 28 (4):585-610.
A Silver-Like Perfect Set Theorem with an Application to Borel Model Theory.Joël Combase - 2011 - Notre Dame Journal of Formal Logic 52 (4):415-429.
Computational Modelling of Protein Interactions: Energy Minimization for the Refinement and Scoring of Association Decoys.Alexander Dibrov, Yvonne Myal & Etienne Leygue - 2009 - Acta Biotheoretica 57 (4):419-428.
The Forth Part of the Back and Forth Map in Countable Homogeneous Structures.S. J. Mcleish - 1997 - Journal of Symbolic Logic 62 (3):873-890.
Partial Combinatory Algebras of Functions.Jaap van Oosten - 2011 - Notre Dame Journal of Formal Logic 52 (4):431-448.
Quasi-Truth, Supervaluations and Free Logic.Newton C. A. da Costa & Otavio Bueno - 1999 - History and Philosophy of Logic 20 (3-4):215-226.
Computable and Continuous Partial Homomorphisms on Metric Partial Algebras.Viggo Stoltenberg-Hansen & John V. Tucker - 2003 - Bulletin of Symbolic Logic 9 (3):299-334.
A Theory of Hierarchical Consequence and Conditionals.Dov M. Gabbay & Karl Schlechta - 2010 - Journal of Logic, Language and Information 19 (1):3-32.
Added to index2009-01-28
Total downloads199 ( #19,132 of 2,044,886 )
Recent downloads (6 months)1 ( #396,194 of 2,044,886 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.