The following pages link to Complexity of t-tautologies (Q5957903):
Displaying 17 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- 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)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Complexity of some language fragments of fuzzy logics (Q1699732) (← 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)
- The Differential Semantics of Łukasiewicz Syntactic Consequence (Q2948587) (← links)
- Complex Fuzzy Sets and Complex Fuzzy Logic an Overview of Theory and Applications (Q2971600) (← links)
- A new interpretation of complex membership grade (Q3168945) (← links)
- Introduction (Q5892200) (← links)
