mathematical logic Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...

, a first-order Gödel logic is a member of a family of finite- or infinite-valued logics in which the sets of

truth value In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth, which in classical logic has only two possible values (''true'' or '' false''). Computing In some progr ...

s ''V'' are closed subsets of the interval ,1containing both 0 and 1. Different such sets ''V'' in general determine different Gödel logics. The concept is named after

Kurt Gödel Kurt Friedrich Gödel ( , ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel had an imme ...

References

{{DEFAULTSORT:Goedel logic Set theory Mathematical logic Formal methods