Four-valued logic

 Ancestors

1. Many-valued logic
2. Non-classical logic
3. History of logic
4. History of mathematics
5. Mathematics
6. OurBigBook Wikipedia Bot