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

Semantic Scholar uses AI to extract papers important to this topic.

2012

2012

- Saeed Salehi
- ArXiv
- 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

- Xavier Caicedo, Ricardo Oscar Rodríguez
- Studia Logica
- 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

- Fernando Bobillo, Miguel Delgado, Juan Gómez-Romero, Umberto Straccia
- Int. J. Approx. Reasoning
- 2009

Classical ontologies are not suitable to represent vague pieces of information, which has lead to the birth of Fuzzy Description… (More)

Is this relevant?

Highly Cited

2009

Highly Cited

2009

- Jürgen Schmidhuber
- Cognitive Computation
- 2009

“All life is problem solving,” said Popper. To deal with arbitrary problems in arbitrary environments, an ultimate cognitive… (More)

Is this relevant?

2007

2007

- Matthias Baaz, Norbert Preining, Richard Zach
- Ann. Pure Appl. Logic
- 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

- Thomas Streicher, Ulrich Kohlenbach
- Math. Log. Q.
- 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

- Dominique Larchey-Wendling
- Journal of Automated Reasoning
- 2006

We present a graph-based decision procedure for Gödel-Dummett logics and an algorithm to compute countermodels. A formula is… (More)

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)

Is this relevant?

1998

1998

- Matthias Baaz, Richard Zach
- ISMVL
- 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?