Multi-valued logic

Fuzzy logic

Quantum logic