Many-Valued Logic PlayGround

See also : MaGIC (Slaney) ; Source code (please don't judge... lol)

Examples ▼
- Standard (Frege, 1879 ; Russell & Whitehead, 1910)
- Trivial
- Nihilistic
- 3-valued Heyting algebra
- 4-valued Boolean algebra
- Strong Kleene (Kleene, 1938)
- LP (Priest, 1979)
- CC1 (Angell, 1962 ; McCall, 1966)
- CN (Cantwell, 2008), aka. MC (Wansing, 2005)
- MRS^P (Estrada-González, 2008)
- FDE (Dunn, 1976 ; Belnap, 1977)
- M3V (Mortensen, 1984 ; McCall, 2012)
- Ω–∅ conditional probabilities
- Example of 3-valued abelian logic (cf. Meyer & Slaney)