The following pages link to Complexity of t-tautologies (Q5957903):
Displaying 7 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)
- 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)
