many-valued logic playground

see also : magic (slaney)

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)