Gödel logic
From HandWiki
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. 6397. pp. 30–51. doi:10.1007/978-3-642-16242-8_4. ISBN 978-3-642-16241-1. https://link.springer.com/chapter/10.1007/978-3-642-16242-8_4. Retrieved 2 March 2022.
 |  |
