Graduate studies at Western
Notre Dame Journal of Formal Logic 46 (2):173-180 (2005)
|Abstract||The typical rules for truth-trees for first-order logic without functions can fail to generate finite branches for formulas that have finite models–the rule set fails to have the finite tree property. In 1984 Boolos showed that a new rule set proposed by Burgess does have this property. In this paper we address a similar problem with the typical rule set for first-order logic with identity and functions, proposing a new rule set that does have the finite tree property|
|Keywords||finite tree property truth-trees|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Toshiyasu Arai (1998). Variations on a Theme by Weiermann. Journal of Symbolic Logic 63 (3):897-925.
Ian Hodkinson (2002). Loosely Guarded Fragment of First-Order Logic has the Finite Model Property. Studia Logica 70 (2):205 - 240.
Amir Leshem (2000). On the Consistency of the Definable Tree Property on ℵ. Journal of Symbolic Logic 65 (3):1204 - 1214.
Mitsuhiro Okada & Kazushige Terui (1999). The Finite Model Property for Various Fragments of Intuitionistic Linear Logic. Journal of Symbolic Logic 64 (2):790-802.
Jörg Flum & Martin Ziegler (1999). Pseudo-Finite Homogeneïty and Saturation. Journal of Symbolic Logic 64 (4):1689-1699.
Saharon Shelah & Mor Doron (2005). A Dichotomy in Classifying Quantifiers for Finite Models. Journal of Symbolic Logic 70 (4):1297 - 1324.
Eva Hoogland & Maarten Marx (2002). Interpolation and Definability in Guarded Fragments. Studia Logica 70 (3):373 - 409.
C. J. Van Alten (2005). The Finite Model Property for Knotted Extensions of Propositional Linear Logic. Journal of Symbolic Logic 70 (1):84 - 98.
Frank Wolter (1995). The Finite Model Property in Tense Logic. Journal of Symbolic Logic 60 (3):757-774.
Matthew Foreman, Menachem Magidor & Ralf-Dieter Schindler (2001). The Consistency Strength of Successive Cardinals with the Tree Property. Journal of Symbolic Logic 66 (4):1837-1847.
Alexander Paseau (2010). Pure Second-Order Logic with Second-Order Identity. Notre Dame Journal of Formal Logic 51 (3):351-360.
William C. Purdy (2002). Complexity and Nicety of Fluted Logic. Studia Logica 71 (2):177 - 198.
Andreas Weiermann (2001). Some Interesting Connections Between the Slow Growing Hierarchy and the Ackermann Function. Journal of Symbolic Logic 66 (2):609-628.
James H. Schmerl (1989). Partially Ordered Sets and the Independence Property. Journal of Symbolic Logic 54 (2):396-401.
Added to index2010-08-24
Total downloads2 ( #248,212 of 757,546 )
Recent downloads (6 months)0
How can I increase my downloads?