Quantifier elimination and other model-theoretic properties of BL-algebras
Publication:654010
DOI10.1215/00294527-1499336zbMath1247.03137OpenAlexW1977812651MaRDI QIDQ654010
Enrico Marchioni, Franco Montagna, Tommaso Cortonesi
Publication date: 21 December 2011
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1215/00294527-1499336
quantifier eliminationdecidabilityMV-algebraamalgamationBL-algebramodel completenessBL-chainHájek Basic Logic
Model-theoretic algebra (03C60) Other algebras related to logic (03G25) MV-algebras (06D35) Many-valued logic (03B50) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (8)
This page was built for publication: Quantifier elimination and other model-theoretic properties of BL-algebras