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):
Displayed 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)
- 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)
- Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components (Q6174409) (← links)