Logical questions concerning the μ-calculus: Interpolation, Lyndon and Los-Tarski
Journal of Symbolic Logic 65 (1):310-332 (2000)
| 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 articlesNobuyoshi Motohashi (1984). Equality and Lyndon's Interpolation Theorem. Journal of Symbolic Logic 49 (1):123-128.
Solomon Feferman (2008). Harmonious Logic: Craig's Interpolation Theorem and Its Descendants. Synthese 164 (3):341 - 357.
Vera Stebletsova & Yde Venema (2001). Undecidable Theories of Lyndon Algebras. Journal of Symbolic Logic 66 (1):207-224.
Greg Ray (1996). Logical Consequence: A Defense of Tarski. Journal of Philosophical Logic 25 (6):617 - 677.
Giovanna D'Agostino (2008). Interpolation in Non-Classical Logics. Synthese 164 (3):421 - 435.
Giovanna D.’Agostino (2008). Interpolation in Non-Classical Logics. Synthese 164 (3).
Jan Krajíček (1997). Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic. Journal of Symbolic Logic 62 (2):457-486.
Grzegorz Malinowski & Marek Michalczyk (1982). That SCI has the Interpolation Property. Studia Logica 41 (4):375 - 380.
Jared Bates (1999). Etchemendy, Tarski, and Logical Consequence. Southwest Philosophy Review 15 (1):47-54.
Roger D. Maddux (1991). The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations. Studia Logica 50 (3-4):421 - 455.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads21 ( #58,767 of 549,113 )Recent downloads (6 months)1 ( #63,361 of 549,113 )How can I increase my downloads? |
My notes
Discussion
