Pages that link to "Item:Q1699738"
From MaRDI portal
The following pages link to On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions (Q1699738):
Displaying 4 items.
- The standard completeness of interval-valued monoidal t-norm based logic (Q454982) (← links)
- Strong standard completeness for continuous t-norms (Q1795210) (← links)
- Hyperresolution for Gödel logic with truth constants (Q2328910) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)