The following pages link to Complexity of t-tautologies (Q5957903):
Displayed 10 items.
- Complexity issues in Basic Logic (Q816857) (← links)
- Fuzzy logics based on \([0,1)\)-continuous uninorms (Q884954) (← links)
- The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete (Q1006641) (← links)
- Standard algebras for fuzzy propositional calculi (Q1349202) (← links)
- A classification of BL-algebras (Q1867635) (← links)
- Linearly ordered semigroups for fuzzy set theory (Q2385437) (← links)
- Computational complexities of axiomatic extensions of monoidal t-norm based logic (Q2391235) (← links)
- Varieties generated by standard BL-algebras (Q2454042) (← links)
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants (Q2492318) (← links)
- A new interpretation of complex membership grade (Q3168945) (← links)