Pages that link to "Item:Q654010"
From MaRDI portal
The following pages link to Quantifier elimination and other model-theoretic properties of BL-algebras (Q654010):
Displaying 8 items.
- An algebraic characterization of o-minimal and weakly o-minimal MV-chains (Q392380) (← links)
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation (Q454376) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- On deductive interpolation for the weak nilpotent minimum logic (Q1697356) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components (Q2695340) (← links)
- A Note on Saturated Models for Many-Valued Logics (Q3454724) (← links)