Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras
Notre Dame Journal of Formal Logic 52 (4):339-379 (2010)
| Abstract | This work presents a model-theoretic approach to the study of first-order theories of classes of BL-chains. Among other facts, we present several classes of BL-algebras, generating the whole variety of BL-algebras, whose first-order theory has quantifier elimination. Model-completeness and decision problems are also investigated. Then we investigate classes of BL-algebras having (or not having) the amalgamation property or the joint embedding property and we relate the above properties to the existence of ultrahomogeneous models | |||||||||
| 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,875 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesM. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz (2000). Varieties of Three-Valued Heyting Algebras with a Quantifier. Studia Logica 65 (2):181-198.
Bronisław Tembrowski (1983). The Theory of Boolean Algebras with an Additional Binary Operation. Studia Logica 42 (4):389 - 405.
Tarek Sayed Ahmed (2005). On Amalgamation in Algebras of Logic. Studia Logica 81 (1):61 - 77.
T. S. Blyth & Jie Fang (2007). Congruence Coherent Symmetric Extended de Morgan Algebras. Studia Logica 87 (1):51 - 63.
Mike Prest & Vera Puninskaya (2002). Modules with Few Types Over Some Finite-Dimensional Algebras. Journal of Symbolic Logic 67 (2):841-858.
Misao Nagayama (1992). On Boolean Algebras and Integrally Closed Commutative Regular Rings. Journal of Symbolic Logic 57 (4):1305-1318.
H. Jerome Keisler (1998). Quantifier Elimination for Neocompact Sets. Journal of Symbolic Logic 63 (4):1442-1472.
Heinrich Herre, Michał Krynicki, Alexandr Pinus & Jouko Väänänen (1991). The Härtig Quantifier: A Survey. Journal of Symbolic Logic 56 (4):1153-1183.
Leon Henkin (1971). Cylindric Algebras. Amsterdam,North-Holland Pub. Co..
István Németi (1991). Algebraization of Quantifier Logics, an Introductory Overview. Studia Logica 50 (3-4):485 - 569.
Stanley Burris (1984). Model Companions for Finitely Generated Universal Horn Classes. Journal of Symbolic Logic 49 (1):68-74.
Robert Goldblatt (2001). Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators. Studia Logica 68 (2):155-171.
Ítala M. L. D'Ottaviano (1987). Definability and Quantifier Elimination for J3-Theories. Studia Logica 46 (1):37 - 54.
Ingemarie Bethke (1987). On the Existence of Extensional Partial Combinatory Algebras. Journal of Symbolic Logic 52 (3):819-833.
Andrei Popescu (2005). Łukasiewicz-Moisil Relation Algebras. Studia Logica 81 (2):167 - 189.
Analytics
Monthly downloads |
Added to index2011-11-05Total downloads2 ( #234,778 of 556,888 )Recent downloads (6 months)1 ( #64,931 of 556,888 )How can I increase my downloads? |
My notes
Discussion
