Kleene strong three-valued logic
E353399
UNEXPLORED
Kleene strong three-valued logic is a non-classical logical system that extends classical logic with a third truth value to rigorously handle indeterminate or partially defined statements.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Kripke fixed-point theory of truth
→
|
oftenFormalizedWith |