| Frege-Russell logic, a.k.a. "classical" logic, "standard" logic... | (Frege, 1879; Russell & Whitehead, 1910)
|
| Trivial
|
| Nihilistic
|
| A 3-valued Heyting algebra
|
| A 4-valued Boolean algebra
|
| De Morgan monoid C6 (model for R)
| (Anderson & Belnap, 1975; Slaney, 1989)
|
| 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)
|
| A connexive extension of E | (Anderson & Belnap, 1975; This model can be found in Øgaard, 2020)
|
| Ω–∅ conditional probabilities
|