Quantifier elimination and other model-theoretic properties of BL-algebras
DOI10.1215/00294527-1499336zbMATH Open1247.03137OpenAlexW1977812651MaRDI QIDQ654010FDOQ654010
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
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
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]
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)
Cited In (9)
- An algebraic characterization of o-minimal and weakly o-minimal MV-chains
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
- Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components
- A Note on Saturated Models for Many-Valued Logics
- On deductive interpolation for the weak nilpotent minimum logic
- Amalgamation and interpolation in ordered algebras.
- Obituary: Franco Montagna (1948--2015)
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)
