Gödel

Known as: Godel (programming language), Goedel (programming language), Goedel programming language 
Gödel is a declarative, general-purpose programming language that adheres to the logic programming paradigm. It is a strongly typed language, the… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1935-2018
05010019352017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
We argue that Gödel’s completeness theorem is equivalent to completability of consistent theories, and Gödel’s incompleteness… (More)
Is this relevant?
2010
2010
We prove strong completeness of the -version and the 3-version of a Gödel modal logic based on Kripke models where propositions… (More)
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Classical ontologies are not suitable to represent vague pieces of information, which has lead to the birth of Fuzzy Description… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
“All life is problem solving,” said Popper. To deal with arbitrary problems in arbitrary environments, an ultimate cognitive… (More)
  • figure 1
Is this relevant?
2007
2007
First-order Gödel logics are a family of infinite-valued logics where the sets of truth values V are closed subsets of [0,1… (More)
Is this relevant?
2007
2007
We show that Shoenfield’s functional interpretation of Peano arithmetic can be factorized as a negative translation due to J. L… (More)
Is this relevant?
2006
2006
We present a graph-based decision procedure for Gödel-Dummett logics and an algorithm to compute countermodels. A formula is… (More)
  • figure 2
  • figure 3
Is this relevant?
2003
2003
Supersymmetric backgrounds in string and M-theory of the Gödel Universe type are studied. We find several new Gödel Universes… (More)
  • figure 1
Is this relevant?
1998
1998
Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same… (More)
Is this relevant?
Highly Cited
1982
Highly Cited
1982
Gödel's theorem may be demonstrated using arguments having an information-theoretic flavor. In such an approach it is possible to… (More)
Is this relevant?