Gödel logic
In
closed subsets of the unit 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.[2][3]
In 1959,
propositional Gödel logic can be axiomatised by adding the axiom schema
to
See also
References
- ^ .
- ISSN 0168-0072.
- ISBN 978-3-642-16241-1. Retrieved 2 March 2022.
- ISSN 0022-4812.
 | This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
| Overview |  | |
|---|---|---|
| Axioms | ||
| Operations |
| |
| ||
| Set types | ||
| Theories | ||
| ||
| Set theorists | ||
| Major fields |
| ||||
|---|---|---|---|---|---|
| Foundations | |||||
| Lists |
| ||||
