Quantifier elimination and other model-theoretic properties of BL-algebras
From MaRDI portal
(Redirected from Publication:654010)
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)- An algebraic characterization of o-minimal and weakly o-minimal MV-chains
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- A note on saturated models for many-valued logics
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
- Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components
- 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 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)
