Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Gödel_logic> ?p ?o }
Showing triples 1 to 27 of
27
with 100 triples per page.
- Gödel_logic abstract "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.".
- Gödel_logic wikiPageID "43269014".
- Gödel_logic wikiPageLength "705".
- Gödel_logic wikiPageOutDegree "6".
- Gödel_logic wikiPageRevisionID "707422956".
- Gödel_logic wikiPageWikiLink Category:Formal_methods.
- Gödel_logic wikiPageWikiLink Category:Mathematical_logic.
- Gödel_logic wikiPageWikiLink Category:Set_theory.
- Gödel_logic wikiPageWikiLink Kurt_Gödel.
- Gödel_logic wikiPageWikiLink Mathematical_logic.
- Gödel_logic wikiPageWikiLink Truth_value.
- Gödel_logic wikiPageWikiLinkText "Gödel logic".
- Gödel_logic wikiPageUsesTemplate Template:Logic.
- Gödel_logic wikiPageUsesTemplate Template:Reflist.
- Gödel_logic wikiPageUsesTemplate Template:Set_theory.
- Gödel_logic subject Category:Formal_methods.
- Gödel_logic subject Category:Mathematical_logic.
- Gödel_logic subject Category:Set_theory.
- Gödel_logic hypernym Member.
- Gödel_logic type Person.
- Gödel_logic comment "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.".
- Gödel_logic label "Gödel logic".
- Gödel_logic sameAs Q18347776.
- Gödel_logic sameAs m.0114mmc2.
- Gödel_logic sameAs Q18347776.
- Gödel_logic wasDerivedFrom Gödel_logic?oldid=707422956.
- Gödel_logic isPrimaryTopicOf Gödel_logic.