Amalgamation and interpolation in ordered algebras.
From MaRDI portal
Publication:2253035
Recommendations
- scientific article; zbMATH DE number 1302498
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- Varying interpolation and amalgamation in polyadic MV-algebras
- A weak form of interpolation in equational logic
- Amalgamation property for the class of basic algebras and some of its natural subclasses
Cites work
- scientific article; zbMATH DE number 2184446 (Why is no real title available?)
- scientific article; zbMATH DE number 3887756 (Why is no real title available?)
- scientific article; zbMATH DE number 3124826 (Why is no real title available?)
- scientific article; zbMATH DE number 3912442 (Why is no real title available?)
- scientific article; zbMATH DE number 3987347 (Why is no real title available?)
- scientific article; zbMATH DE number 3679781 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 192848 (Why is no real title available?)
- scientific article; zbMATH DE number 3598539 (Why is no real title available?)
- scientific article; zbMATH DE number 3625380 (Why is no real title available?)
- scientific article; zbMATH DE number 1302498 (Why is no real title available?)
- scientific article; zbMATH DE number 1344825 (Why is no real title available?)
- scientific article; zbMATH DE number 1361537 (Why is no real title available?)
- scientific article; zbMATH DE number 6287564 (Why is no real title available?)
- scientific article; zbMATH DE number 5268066 (Why is no real title available?)
- scientific article; zbMATH DE number 3254928 (Why is no real title available?)
- scientific article; zbMATH DE number 2208113 (Why is no real title available?)
- Advanced Łukasiewicz calculus and MV-algebras
- Aglianò-Montagna type decomposition of linear pseudo hoops and its applications
- Algebraic Extensions of Relational Systems.
- Algebraic characterizations of variable separation properties
- Algebraic foundations of many-valued reasoning
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Algebras Whose Congruence Lattices are Distributive.
- Amalgamation properties and interpolation theorems for equational theories
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- Amalgamation, congruence-extension, and interpolation properties in algebras
- Amalgamations of Lattice Ordered Groups
- Cancellative residuated lattices
- Consequence and interpolation in Łukasiewicz logic
- Craig interpolation for semilinear substructural logics
- Embedding theorems for classes of GBL-algebras
- Equational characterization of all varieties of MV-algebras
- Fragments of Many-Valued Statement Calculi
- Free lattice-ordered Abelian groups
- Free products in the category of Abelian \(\ell\)-groups with strong unit
- Free products in the class of Abelian l-groups
- Generalized MV-algebras
- Geometrical methods in Wajsberg hoops
- Geometry of Robinson consistency in Łukasiewicz logic
- Homogeneous Universal Relational Systems.
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Interpolation and amalgamation; pushing the limits. I
- Interpolation and the Robinson property for logics not closed under the Boolean operations
- Interpolation properties of superintuitionistic logics
- Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
- Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
- Joins and Direct Products of Equational Classes
- Logics without the contraction rule
- On the finite embeddability property for residuated ordered groupoids
- On the structure of hoops
- One chain generated varieties of MV-algebras
- Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
- Products of classes of residuated structures
- Quantifier elimination and other model-theoretic properties of BL-algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Residuated structures with involution
- Sentential logics and Maehara interpolation property
- Sublattices of a Free Lattice
- Sur l'extension aux relations de quelques propriétés des ordres
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
- THE STRUCTURE OF RESIDUATED LATTICES
- The Blok-Ferreirim theorem for normal GBL-algebras and its application
- The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
- The failure of the amalgamation property for representable varieties of l-groups
- Universal relational systems
- Varieties of BL-algebras. I: General properties.
Cited in
(35)- Structure theorems for idempotent residuated lattices
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- Uniform interpolation and coherence
- Join-completions of partially ordered algebras
- Linearly ordered sets with only one operator have the amalgamation property
- Gluing residuated lattices
- Interpolation and amalgamation properties in varieties of equivalential algebras
- Franco Montagna's work on provability logic and many-valued logic
- Uniform interpolation and compact congruences
- Fibered universal algebra for first-order logics
- Varying interpolation and amalgamation in polyadic MV-algebras
- Varieties defined by basic equations have the amalgamation property
- Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components
- Deciding dependence in logic and algebra
- Theorems of Alternatives for Substructural Logics
- scientific article; zbMATH DE number 3887756 (Why is no real title available?)
- Beth definability and the Stone-Weierstrass theorem
- Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components
- Transfer theorems for finitely subdirectly irreducible algebras
- On Heyting algebras with negative tense operators
- On deductive interpolation for the weak nilpotent minimum logic
- Modularity results for interpolation, amalgamation and superamalgamation
- Separable MV-algebras and lattice-ordered groups
- Semilinear idempotent distributive \(\ell\)-monoids
- The logic of the strongest and the weakest t-norms
- On some properties of directoids
- Orthogonal relational systems
- Semiconic idempotent logic. II: Beth definability and deductive interpolation
- scientific article; zbMATH DE number 1463148 (Why is no real title available?)
- Some modal and temporal translations of generalized basic logic
- Obituary: Franco Montagna (1948--2015)
- An open mapping theorem for finitely copresented Esakia spaces
- MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
- The Modelwise Interpolation Property of Semantic Logics
- Universal algebraic methods for non-classical logics
This page was built for publication: Amalgamation and interpolation in ordered algebras.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2253035)
