Quantifier elimination and other model-theoretic properties of BL-algebras
Quantifier elimination and other model-theoretic properties of BL-algebras
This work presents a model-theoretic approach to the study of firstorder theories of classes of BL-chains. Among other facts, we present several classes of BL-algebras, generating the whole variety of BL-algebras whose firstorder 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. © 2011 by University of Notre Dame.
339-379
Cortonesi, Tommaso
46c4a7c2-c39e-466a-a655-2b2af97cf42b
Marchioni, Enrico
729c9984-5949-438e-8de7-0e079bdb9f96
Montagna, Franco
79e82ba3-7d33-40ba-ab38-7732c22ee736
July 2011
Cortonesi, Tommaso
46c4a7c2-c39e-466a-a655-2b2af97cf42b
Marchioni, Enrico
729c9984-5949-438e-8de7-0e079bdb9f96
Montagna, Franco
79e82ba3-7d33-40ba-ab38-7732c22ee736
Cortonesi, Tommaso, Marchioni, Enrico and Montagna, Franco
(2011)
Quantifier elimination and other model-theoretic properties of BL-algebras.
Notre Dame Journal of Formal Logic, 52 (4), .
(doi:10.1215/00294527-1499336).
Abstract
This work presents a model-theoretic approach to the study of firstorder theories of classes of BL-chains. Among other facts, we present several classes of BL-algebras, generating the whole variety of BL-algebras whose firstorder 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. © 2011 by University of Notre Dame.
This record has no associated files available for download.
More information
Published date: July 2011
Identifiers
Local EPrints ID: 416591
URI: http://eprints.soton.ac.uk/id/eprint/416591
PURE UUID: 1c7ebc58-1ddf-41aa-a58b-9d2ba5bb57b1
Catalogue record
Date deposited: 03 Jan 2018 17:30
Last modified: 15 Mar 2024 17:37
Export record
Altmetrics
Contributors
Author:
Tommaso Cortonesi
Author:
Enrico Marchioni
Author:
Franco Montagna
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics