Quantifier elimination and other model-theoretic properties of BL-algebras
From MaRDI portal
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
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 property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components ⋮ \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation ⋮ Amalgamation and interpolation in ordered algebras.