Gödel logic
From Infogalactic: the planetary knowledge core
In mathematical logic, a first-order Gödel logic is a member of a family of finite- or infinite-valued logics in which the sets of truth values V are closed subsets of the interval [0,1] containing both 0 and 1. Different such sets V in general determine different Gödel logics. The concept is named after Kurt Gödel. [1]
References
- ↑ First-order Gödel logics Authors: Matthias Baaz, Norbert Preining, Richard Zach.
| Axioms |
 |
|
|---|---|---|
| Operations | ||
|
||
| Set types | ||
| Theories | ||
|
||
| Set theorists | ||
