Category
page 1Many-valued logic
many-valued logic
propositional calculus in which there are more than two truth values
three-valued logic
logic system in which there are three truth values indicating true, false and some indeterminate third value
Kleene algebra
idempotent semiring endowed with a closure operator
Łukasiewicz logic
many-valued logic