Many-Valued Logic PlayGround
See also :
MaGIC
(Slaney) ;
Source code
(please don't judge... lol)
Examples
▼
Frege-Russell logic
(
Frege, 1879
;
Russell & Whitehead, 1910
),
a.k.a. "classical" logic, "standard" logic...
Trivial
Nihilistic
3-valued Heyting algebra
4-valued Boolean algebra
Strong Kleene
(
Kleene, 1938
)
CC1
(
Angell, 1962
;
McCall, 1966
)
FDE
(
Dunn, 1976
;
Belnap, 1977
),
a.k.a. Belnap–Dunn logic
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
(
Omori, 2016
)
CN
(
Cantwell, 2008
)
MRS
P
(
Estrada-González, 2008
)
Ω–∅ conditional probabilities
Number of values :
Values :
designated ?
yes /
no
designated ?
yes /
no
Description :
N/A