Gödel logic is named after a mathematician with what nationality?
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.
John Lemmon Edward John Lemmon (1 June 1930 – 29 July 1966) was a logician and philosopher born in Sheffield, England. He is most well known for his work on modal logic, particularly his joint text with Dana Scott published posthumously (Lemmon and Scott, 1977).