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 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

  1. First-order Gödel logics Authors: Matthias Baaza, Norbert Preiningb,, Richard Zachc.
This article is issued from Wikipedia - version of the Monday, August 18, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.