Graduate studies at Western
Journal of Logic, Language and Information 4 (1):5-39 (1995)
|Abstract||We provide first-order axioms for the theories of finite trees with bounded branching and finite trees with arbitrary (finite) branching. The signature is chosen to express, in a natural way, those properties of trees most relevant to linguistic theories. These axioms provide a foundation for results in linguistics that are based on reasoning formally about such properties. We include some observations on the expressive power of these theories relative to traditional language complexity classes|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Tapani Hyttinen & Jouko Väänänen (1990). On Scott and Karp Trees of Uncountable Models. Journal of Symbolic Logic 55 (3):897-908.
Steffen Lempp, Charles McCoy, Russell Miller & Reed Solomon (2005). Computable Categoricity of Trees of Finite Height. Journal of Symbolic Logic 70 (1):151-215.
Dmitrij Skvortsov (2004). On Intermediate Predicate Logics of Some Finite Kripke Frames, I. Levelwise Uniform Trees. Studia Logica 77 (3):295 - 323.
L. Gordeev (1990). Generalizations of the Kruskal-Friedman Theorems. Journal of Symbolic Logic 55 (1):157-181.
Shmuel Lifsches & Saharon Shelah (1996). Uniformization, Choice Functions and Well Orders in the Class of Trees. Journal of Symbolic Logic 61 (4):1206-1227.
Yuri Gurevich & Saharon Shelah (1985). The Decision Problem for Branching Time Logic. Journal of Symbolic Logic 50 (3):668-681.
Catherine Lai & Steven Bird (2010). Querying Linguistic Trees. Journal of Logic, Language and Information 19 (1):53-73.
Jörg Flum & Martin Ziegler (1999). Pseudo-Finite Homogeneïty and Saturation. Journal of Symbolic Logic 64 (4):1689-1699.
Fabio Bellissima & Saverio Cittadini (1999). Finite Trees in Tense Logic. Studia Logica 62 (2):121-140.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?