Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293): Difference between revisions
From MaRDI portal
Latest revision as of 22:16, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Amalgamation through quantifier elimination for varieties of commutative residuated lattices |
scientific article |
Statements
Amalgamation through quantifier elimination for varieties of commutative residuated lattices (English)
0 references
10 February 2012
0 references
The author aims to investigate the amalgamation property (AP) for varieties of semilinear commutative residuated lattices using model-theoretic methods. It is well known that if a first-order theory \(T(K)\) of some class \(K\) of structures admits quantifier elimination, then the class of models of \(T_\forall(K)\), the set of universal consequences of \(T(K)\), has the AP. By an unpublished result of Metcalfe, Montagna and Tsinakis (which can be derived from the paper [\textit{F. Montagna}, ``Interpolation and Beth's property in propositional many-valued logics: a semantic investigation'', Ann. Pure Appl. Logic 141, No. 1--2, 148--179 (2006; Zbl 1094.03011)]), if \(K\) is an elementary subclass of linearly ordered members of a variety \(V\) of semilinear commutative residuated lattices, then the whole \(V\) has the AP. This general observation is applied in the paper to the varieties of MV-algebras, product algebras, Gödel algebras (these varieties are already known to have AP), nilpotent minimum algebras, involutive uniform mingle logic algebras, and representable uniform algebras.
0 references
amalgamation property
0 references
quantifier elimination
0 references
residuated lattices
0 references
0 references
0 references
0 references