OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Gödel logic

 Home Mathematics Fields of mathematics Applied mathematics Theoretical computer science Formal methods
 0 By others on same topic  0 Discussions  1970-01-01  See my version
Gödel logic refers to a family of non-classical logics that are based on the ideas developed by the mathematician Kurt Gödel. While Gödel is most famous for his incompleteness theorems, his work also laid the foundation for certain types of logics that diverge from classical logic, particularly in the context of modal logics and fuzzy logic. One prominent aspect of Gödel logic is its connection to **fuzzy logic**.

 Ancestors (6)

  1. Formal methods
  2. Theoretical computer science
  3. Applied mathematics
  4. Fields of mathematics
  5. Mathematics
  6.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook