In mathematical logic, a Gödel numbering is a function that assigns to each symbol and well-formed formula of some formal language a unique natural… (More)

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

2013

2013

- Paul Tarau
- TPLP
- 2013

We describe a compact serialization algorithm mapping Prolog terms to natural numbers of bit-sizes proportional to the memory… (More)

Is this relevant?

Highly Cited

2011

Highly Cited

2011

- Daniel M Rosenbaum, Cheng Zhang, +15 authors Brian K. Kobilka
- Nature
- 2011

G-protein-coupled receptors (GPCRs) are eukaryotic integral membrane proteins that modulate biological function by initiating… (More)

Is this relevant?

2010

2010

In [3], Rogers discussed the concept of Gödel numbering. He defined a semi-effective numbering, constructed a semi-lattice of… (More)

Is this relevant?

2008

2008

- Tidjani Négadi
- 2008

The genetic code structure into distinct multiplet-classes as well as the numeric degeneracies of the latter are revealed by a… (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?

2005

2005

- Solomon Feferman
- Bulletin of Symbolic Logic
- 2005

The final two volumes, numbers IV and V, of the Oxford University Press edition of the Collected Works of Kurt Gödel [3]-[7… (More)

Is this relevant?

2004

2004

- Matteo Viale
- Math. Log. Q.
- 2004

We present two results which shed some more light on the deep connection between ZFA and the standard ZF set theory: First of all… (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?

2003

2003

We consider the brane-world generalisation of the Gödel universe and analyse its dynamical interaction with the bulk. The exact… (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- Francesc Esteva, Lluis Godo, Petr Hájek, Mirko Navara
- Arch. Math. Log.
- 2000

Residuated fuzzy logic calculi are related to continuous t-norms, which are used as truth functions for conjunction, and their… (More)

Is this relevant?