In mathematical logic, he developed an intermediate logic, already studied by Kurt Gödel: the Gödel–Dummett logic.
在数学逻辑中，他开发了一种中间逻辑，已经由KurtGödel研究过：哥德尔 - 达默特逻辑。