The University of Southampton
University of Southampton Institutional Repository

Quantifier elimination and other model-theoretic properties of BL-algebras

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
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), 339-379. (doi:10.1215/00294527-1499336).

Record type: Article

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.

Full text not available from this repository.

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: 13 Mar 2019 19:04

Export record

Altmetrics

Contributors

Author: Tommaso Cortonesi
Author: Enrico Marchioni
Author: Franco Montagna

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×