A Preservation Theorem for Equality-Free Horn Sentences
Theoria 15 (3):517-530 (2000)
| Abstract | We prove the following preservation theorem for the Horn fragment of Equality-free Logic:Theorem 0.1. For any sentence σ ϵ L, the following are equivalent:i ) σ is preserved under Hs , Hs -1 and PR .i i ) σ is logically equivalent to an equality-free Horn sentence | |||||||||
| 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,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGeorge C. Nelson (1998). Preservation Theorems Without Continuum Hypothesis. Studia Logica 60 (3):343-355.
Mihai Codescu & Daniel Găină (forthcoming). Birkhoff Completeness in Institutions. Logica Universalis.
R. Elgueta & R. Jansana (1999). Definability of Leibniz Equality. Studia Logica 63 (2):223-243.
Mark Howard (1988). A Proofless Proof of the Barwise Compactness Theorem. Journal of Symbolic Logic 53 (2):597-602.
Pilar Dellunde & Ramon Jansana (1996). Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality. Journal of Symbolic Logic 61 (4):1242-1260.
Holger Sturm (2000). Modal Horn Classes. Studia Logica 64 (3):301-313.
Jonathan Fleischmann (2010). Syntactic Preservation Theorems for Intuitionistic Predicate Logic. Notre Dame Journal of Formal Logic 51 (2):225-245.
Raymond D. Gumb (1984). An Extended Joint Consistency Theorem for a Family of Free Modal Logics with Equality. Journal of Symbolic Logic 49 (1):174-183.
Raymond D. Gumb (1979). An Extended Joint Consistency Theorem for Free Logic with Equality. Notre Dame Journal of Formal Logic 20 (2):321-335.
Vanda Fiorillo (2013). Der Andere ,,ut aeque homo: Gleichheit und Menschenwurde in der politischen Anthropologie Samuel Pufendorfs. Archiv Fuer Rechts- Und Sozialphilosphie 99 (1):11-28.
Nobuyoshi Motohashi (1986). Preservation Theorem and Relativization Theorem for Cofinal Extensions. Journal of Symbolic Logic 51 (4):1022-1028.
Antti Kuusisto (2013). Expressivity of Imperfect Information Logics Without Identity. Studia Logica 101 (2):237-265.
Victor Harnik & Michael Makkai (1976). Applications of Vaught Sentences and the Covering Theorem. Journal of Symbolic Logic 41 (1):171-187.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2012-03-18Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
