In
mathematical logic
Mathematical logic is the study of 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 formal ...
, 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 prog ...
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 imm ...
.
References
{{DEFAULTSORT:Goedel logic
Set theory
Mathematical logic
Formal methods