A normal form theorem for first order formulas and its application to Gaifman's splitting theorem
Journal of Symbolic Logic 49 (4):1262-1267 (1984)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGeorge Kourousias & David C. Makinson (2007). Parallel Interpolation, Splitting, and Relevance in Belief Change. Journal of Symbolic Logic 72 (3):994-1002.
Nobuyoshi Motohashi (1986). Preservation Theorem and Relativization Theorem for Cofinal Extensions. Journal of Symbolic Logic 51 (4):1022-1028.
Takahito Aoto (1999). Uniqueness of Normal Proofs in Implicational Intuitionistic Logic. Journal of Logic, Language and Information 8 (2):217-242.
Enrico Martino (1988). Brouwer's Equivalence Between Virtual and Inextensible Order. History and Philosophy of Logic 9 (1):57-66.
Janusz Czelakowski (1985). Algebraic Aspects of Deduction Theorems. Studia Logica 44 (4):369 - 387.
Douglas N. Hoover (1982). A Normal Form Theorem for Lω 1p, with Applications. Journal of Symbolic Logic 47 (3):605 - 624.
Ursula Gropp (1988). Coinductive Formulas and a Many-Sorted Interpolation Theorem. Journal of Symbolic Logic 53 (3):937-960.
Wojciech Buszkowski (1988). Gaifman's Theorem on Categorial Grammars Revisited. Studia Logica 47 (1):23 - 33.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,921 of 549,125 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
