Notre Dame Journal of Formal Logic 52 (4):339-379 (2011)
| 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 | BL-algebras quantifier elimination model-completeness amalgamation property |
| Categories | (categorize this paper) |
| Reprint years | 2011 |
| DOI | 10.1215/00294527-1499336 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,410
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Distinguished Algebraic Semantics for T -Norm Based Fuzzy Logics: Methods and Algebraic Equivalencies.Petr Cintula, Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna & Carles Noguera - 2009 - Annals of Pure and Applied Logic 160 (1):53-81.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
A Complete Many-Valued Logic with Product-Conjunction.Petr Hájek, Lluis Godo & Francesc Esteva - 1996 - Archive for Mathematical Logic 35 (3):191-208.
Interpolation and Beth’s Property in Propositional Many-Valued Logics: A Semantic Investigation.Franco Montagna - 2006 - Annals of Pure and Applied Logic 141 (1):148-179.
View all 8 references / Add more references
Citations of this work BETA
Δ-Core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation.Franco Montagna - 2012 - Studia Logica 100 (1-2):289-317.
Similar books and articles
Varieties of Three-Valued Heyting Algebras with a Quantifier.M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz - 2000 - Studia Logica 65 (2):181-198.
The Theory of Boolean Algebras with an Additional Binary Operation.Bronis?aw Tembrowski - 1983 - Studia Logica 42 (4):389 - 405.
Modules with Few Types Over Some Finite-Dimensional Algebras.Mike Prest & Vera Puninskaya - 2002 - Journal of Symbolic Logic 67 (2):841-858.
On Boolean Algebras and Integrally Closed Commutative Regular Rings.Misao Nagayama - 1992 - Journal of Symbolic Logic 57 (4):1305-1318.
Quantifier Elimination for Neocompact Sets.H. Jerome Keisler - 1998 - Journal of Symbolic Logic 63 (4):1442-1472.
The Härtig Quantifier: A Survey.Heinrich Herre, Michał Krynicki, Alexandr Pinus & Jouko Väänänen - 1991 - Journal of Symbolic Logic 56 (4):1153-1183.
Algebraization of Quantifier Logics, an Introductory Overview.István Németi - 1991 - Studia Logica 50 (3-4):485 - 569.
Model Companions for Finitely Generated Universal Horn Classes.Stanley Burris - 1984 - Journal of Symbolic Logic 49 (1):68-74.
Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators.Robert Goldblatt - 2001 - Studia Logica 68 (2):155-171.
Definability and Quantifier Elimination for J3-Theories.Ítala M. L. D'Ottaviano - 1987 - Studia Logica 46 (1):37 - 54.
On the Existence of Extensional Partial Combinatory Algebras.Ingemarie Bethke - 1987 - Journal of Symbolic Logic 52 (3):819-833.
Analytics
Added to PP index
2011-11-05
Total views
22 ( #515,777 of 2,519,866 )
Recent downloads (6 months)
1 ( #406,012 of 2,519,866 )
2011-11-05
Total views
22 ( #515,777 of 2,519,866 )
Recent downloads (6 months)
1 ( #406,012 of 2,519,866 )
How can I increase my downloads?
Downloads
