Gödel logic
id:
g-del-logic-238-7372014
title:
Gödel logic
text:
In mathematical logic, a Gödel logic, sometimes referred to as Dummett logic or Gödel–Dummett 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 unit 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. In 1959, Michael Dummett showed that infinite-valued propositional Gödel logic can be axiomatised by adding the axiom schema
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/G%C3%B6del_logic
date created:
date modified:
2024-04-03T13:18:32Z
main entity:
{"identifier":"Q18347776","url":"https://www.wikidata.org/entity/Q18347776"}
image:
fields total:
13
integrity:
13