Amalgamation through quantifier elimination for varieties of commutative residuated lattices
From MaRDI portal
Publication:661293
DOI10.1007/s00153-011-0251-xzbMath1245.03110MaRDI 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
03G25: Other algebras related to logic
03C10: Quantifier elimination, model completeness, and related topics
Related Items
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., Uniform interpolation and compact congruences, Craig interpolation for semilinear substructural logics, A Note on Saturated Models for Many-Valued Logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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