Amalgamation through quantifier elimination for varieties of commutative residuated lattices
From MaRDI portal
Publication:661293
DOI10.1007/s00153-011-0251-xzbMath1245.03110OpenAlexW2071903224MaRDI QIDQ661293
Publication date: 10 February 2012
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-011-0251-x
Other algebras related to logic (03G25) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (6)
Uniform interpolation and compact congruences ⋮ A Note on Saturated Models for Many-Valued Logics ⋮ An algebraic characterization of o-minimal and weakly o-minimal MV-chains ⋮ On deductive interpolation for the weak nilpotent minimum logic ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Craig interpolation for semilinear substructural logics
Cites Work
- Residuated lattices. An algebraic glimpse at substructural logics
- Fuzzy logics based on \([0,1)\)-continuous uninorms
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Free products in the category of Abelian \(\ell\)-groups with strong unit
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Uninorm aggregation operators
- On the structure of hoops
- A complete many-valued logic with product-conjunction
- Geometry of Robinson consistency in Łukasiewicz logic
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Structure of Uninorms
- Algebraic Analysis of Many Valued Logics
- A New Proof of the Completeness of the Lukasiewicz Axioms
- Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
- Algebraizable logics
- Model Theory
- Substructural fuzzy logics
- Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic
- Amalgamations of Lattice Ordered Groups
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Amalgamation through quantifier elimination for varieties of commutative residuated lattices
