Amalgamation and interpolation in ordered algebras.

DOI10.1016/j.jalgebra.2013.11.019zbMath1318.06012OpenAlexW1974382072MaRDI QIDQ2253035

Constantine Tsinakis, George Metcalfe, Franco Montagna

Publication date: 25 July 2014

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://boris.unibe.ch/41262/1/report13-12%281%29.pdf

zbMATH Keywords

MV-algebrascongruence extension propertyfree algebrasresiduated latticesamalgamation propertyinterpolation propertyvarieties of lattice-ordered groupsequational consequence relations

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) MV-algebras (06D35) Ordered semigroups and monoids (06F05) Ordered groups (06F15)

Related Items (27)

Uniform interpolation and compact congruences ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ Modularity results for interpolation, amalgamation and superamalgamation ⋮ On some properties of directoids ⋮ Orthogonal relational systems ⋮ The logic of the strongest and the weakest t-norms ⋮ Structure theorems for idempotent residuated lattices ⋮ Fibered universal algebra for first-order logics ⋮ On Heyting algebras with negative tense operators ⋮ The Modelwise Interpolation Property of Semantic Logics ⋮ Universal algebraic methods for non-classical logics ⋮ Gluing residuated lattices ⋮ On deductive interpolation for the weak nilpotent minimum logic ⋮ Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components ⋮ Transfer theorems for finitely subdirectly irreducible algebras ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Separable MV-algebras and lattice-ordered groups ⋮ Semilinear idempotent distributive \(\ell\)-monoids ⋮ Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components ⋮ Some modal and temporal translations of generalized basic logic ⋮ Linearly ordered sets with only one operator have the amalgamation property ⋮ Uniform interpolation and coherence ⋮ An open mapping theorem for finitely copresented Esakia spaces ⋮ Join-completions of partially ordered algebras ⋮ Beth definability and the Stone-Weierstrass theorem ⋮ Theorems of Alternatives for Substructural Logics ⋮ MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Advanced Łukasiewicz calculus and MV-algebras
• Consequence and interpolation in Łukasiewicz logic
• Quantifier elimination and other model-theoretic properties of BL-algebras
• Amalgamation through quantifier elimination for varieties of commutative residuated lattices
• Residuated lattices. An algebraic glimpse at substructural logics
• Embedding theorems for classes of GBL-algebras
• Aglianò-Montagna type decomposition of linear pseudo hoops and its applications
• Interpolation and the Robinson property for logics not closed under the Boolean operations
• Sentential logics and Maehara interpolation property
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Free products in the category of Abelian \(\ell\)-groups with strong unit
• Interpolation properties of superintuitionistic logics
• Free products in the class of Abelian l-groups
• Amalgamation properties and interpolation theorems for equational theories
• Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
• Interpolation and amalgamation; pushing the limits. I
• Generalized MV-algebras
• Products of classes of residuated structures
• Varieties of BL-algebras. I: General properties.
• Algebraic foundations of many-valued reasoning
• Geometrical methods in Wajsberg hoops
• On the structure of hoops
• Equational characterization of all varieties of MV-algebras
• One chain generated varieties of MV-algebras
• Geometry of Robinson consistency in Łukasiewicz logic
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Cancellative residuated lattices
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Amalgamation, congruence-extension, and interpolation properties in algebras
• Free lattice-ordered Abelian groups
• The Blok-Ferreirim theorem for normal GBL-algebras and its application
• THE STRUCTURE OF RESIDUATED LATTICES
• Craig interpolation for semilinear substructural logics
• Universal relational systems
• Fragments of Many-Valued Statement Calculi
• The failure of the amalgamation property for representable varieties of l-groups
• Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
• Logics without the contraction rule
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• Sublattices of a Free Lattice
• On the finite embeddability property for residuated ordered groupoids
• Algebras Whose Congruence Lattices are Distributive.
• Homogeneous Universal Relational Systems.
• Joins and Direct Products of Equational Classes
• Algebraic Extensions of Relational Systems.
• The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
• Amalgamations of Lattice Ordered Groups
• Sur l'extension aux relations de quelques propriétés des ordres

This page was built for publication: Amalgamation and interpolation in ordered algebras.