Quantifier elimination and other model-theoretic properties of BL-algebras

DOI10.1215/00294527-1499336MaRDI QIDQ654010zbMATHOpenAlexFDO

Authors Tommaso Cortonesi, Enrico Marchioni, Franco Montagna

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

zbMATH Keywords

decidabilityamalgamationBL-algebraMV-algebramodel completenessquantifier eliminationBL-chain[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=H%EF%BF%BD%EF%BF%BDjek+Basic+Logic&go=Go H��jek Basic Logic]

Mathematics Subject Classification ID

Many-valued logic (03B50) Model-theoretic algebra (03C60) Other algebras related to logic (03G25) MV-algebras (06D35) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• Quantifiers on BL-algebras
• Finite model property and varieties of BL-algebras
• \(K\)-modal BL-algebras
• Quantifier elimination for a class of intuitionistic theories
• Models and quantifier elimination for quantified Horn formulas
• scientific article; zbMATH DE number 1163931
• Deductive systems of BL-algebras
• scientific article; zbMATH DE number 2186522
• On the lattice of deductive systems of a BL-algebra
• Quantifier elimination for modules

Cited in

(9)

• Amalgamation through quantifier elimination for varieties of commutative residuated lattices
• An algebraic characterization of o-minimal and weakly o-minimal MV-chains
• Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components
• 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
• Amalgamation and interpolation in ordered algebras.
• Obituary: Franco Montagna (1948--2015)
• \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
• A note on saturated models for many-valued logics

This page was built for publication: Quantifier elimination and other model-theoretic properties of BL-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q654010)