Pages that link to "Item:Q1778060"
From MaRDI portal
The following pages link to Standard completeness theorem for \(\Pi\)MTL (Q1778060):
Displayed 10 items.
- The standard completeness of interval-valued monoidal t-norm based logic (Q454982) (← links)
- Alternative proof of standard completeness theorem for MTL (Q855228) (← links)
- T-norm-based logics with an independent involutive negation (Q869112) (← links)
- On the failure of standard completeness in \(\Pi\)MTL for infinite theories (Q876492) (← links)
- Product logic and probabilistic Ulam games (Q876494) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- Ordered groups with a conucleus (Q1035670) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- Strong non-standard completeness for fuzzy logics (Q2466757) (← links)