Gödel logic
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 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.[1]
References
- First-order Gödel logics Authors: Matthias Baaz, Norbert Preining, Richard Zach.
- Preining, Norbert (2010). "Gödel Logics – A Survey". Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science. Vol. 6397. pp. 30–51. doi:10.1007/978-3-642-16242-8_4. ISBN 978-3-642-16241-1. Retrieved 2 March 2022.
| Overview |  | |
|---|---|---|
| Axioms | ||
| Operations |
| |
| ||
| Set types | ||
| Theories | ||
| ||
| Set theorists | ||
| Major fields |
| ||||
|---|---|---|---|---|---|
| Foundations | |||||
| Lists |
| ||||
| |||||
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.