| Frege-Russell logic, a.k.a. "classical" logic, "standard" logic... | (Frege, 1879 ;Russell & Whitehead, 1910)
|
| Trivial
|
| Nihilistic
|
| 3-valued Heyting algebra
|
| 4-valued Boolean algebra
|
| Strong Kleene | (Kleene, 1938)
|
| CC1 | (Angell, 1962 ; McCall, 1966)
|
| FDE, a.k.a. Belnap–Dunn logic | (Dunn, 1976 ; Belnap, 1977)
|
| LP | (Priest, 1979)
|
| M3V | (Mortensen, 1984; named as such from McCall, 2012)
|
| Example of a 3-valued {→, ~}-fragment of abelian logic | (Meyer & Slaney, 1989)
|
| MC | (Wansing, 2005; as dBD in Omori, 2016)
|
| CN | (Cantwell, 2008)
|
| MRSP | (Estrada-González, 2008)
|
| Ω–∅ conditional probabilities
|