Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free
Journal of Symbolic Logic 77 (3):828-852 (2012)
| 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,672 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesJames Cheney (2006). Completeness and Herbrand Theorems for Nominal Logic. Journal of Symbolic Logic 71 (1):299 - 320.
Roman Tuziak (1988). An Axiomatization of the Finite-Valued Łukasiewicz Calculus. Studia Logica 47 (1):49 - 55.
Tobias Rosefeldt (2008). 'That'-Clauses and Non-Nominal Quantification. Philosophical Studies 137 (3):301 - 333.
Sobhi Rayan (2009). Nominal Definition in the Writings of Ibn Taymiyya. International Studies in the Philosophy of Science 23 (2):123 – 141.
Ross Willard (2000). A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties. Journal of Symbolic Logic 65 (1):187-200.
Kerstin Anna Kunz (2010). Variation in English and German Nominal Coreference: A Study of Political Essays. Peter Lang.
Albert Visser (1981). A Propositional Logic with Explicit Fixed Points. Studia Logica 40 (2):155 - 175.
Branden Fitelson (2001). Comments on Some Completeness Theorems of Urquhart and Méndez & Salto. Journal of Philosophical Logic 30 (1):51 - 55.
Kenneth Harris & Branden Fitelson (2001). Comments on Some Completeness Theorems of Urquhart and Méndez & Salto. Journal of Philosophical Logic 30 (1):51-55.
Giovanna Corsi (2002). A Unified Completeness Theorem for Quantified Modal Logics. Journal of Symbolic Logic 67 (4):1483-1510.
Yde Venema (1998). Rectangular Games. Journal of Symbolic Logic 63 (4):1549-1564.
Tamar Lando (2012). Completeness of S4 for the Lebesgue Measure Algebra. Journal of Philosophical Logic 41 (2):287-316.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2012-11-06Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
