Pages that link to "Item:Q876492"
From MaRDI portal
The following pages link to On the failure of standard completeness in \(\Pi\)MTL for infinite theories (Q876492):
Displaying 4 items.
- The standard completeness of interval-valued monoidal t-norm based logic (Q454982) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\) (Q1612691) (← links)
- Strong non-standard completeness for fuzzy logics (Q2466757) (← links)
