Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras
Tommaso Cortonesi, Enrico Marchioni, Franco Montagna · Notre Dame Journal of Formal Logic · 2011
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.