Pages that link to "Item:Q5485399"
From MaRDI portal
The following pages link to Omitting types in fuzzy logic with evaluated syntax (Q5485399):
Displayed 8 items.
- Elements of model theory in higher-order fuzzy logic (Q695272) (← links)
- Fuzzy logic with countable evaluated syntax revisited (Q878970) (← links)
- Forcing in Łukasiewicz predicate logic (Q935024) (← links)
- Fraïssé classes of graded relational structures (Q1643146) (← links)
- Back-and-forth systems for fuzzy first-order models (Q1795203) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Generalized Bosbach states. I (Q2377355) (← links)
- Omitting uncountable types and the strength of \([0,1]\)-valued logics (Q2442152) (← links)