The following pages link to (Q4126264):
Displaying 4 items.
- Satisfiability in many-valued sentential logic is NP-complete (Q1100196) (← links)
- How to be really contraction free (Q1313081) (← links)
- Three new genuine five-valued logics intended to model non-trivial concepts (Q2133459) (← links)
- Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond (Q3305609) (← links)
