Las lógicas de Interpretability del abarcan a familia de las lógicas modales que amplían la lógica del Provability para describir el Interpretability y/o las varias características y relaciones metamathematical relacionadas tales como interpretability débil, Π 1-conservativity, Cointerpretability, tolerancia, Cotolerance, complejidades aritméticas.

Contribuidores principales al campo: Alejandro Berarducci, Petr Hájek, Konstantin Ignatiev, Giorgi Japaridze, Franco Montagna, Vladimir Shavrukov, Rineke Verbrugge, Albert Visser, Domingo Zambella.

  • Zenithic
  • M18 motorway
    Random links:Hørsholm | Basura hermosa | guitarra de la Siete-secuencia | Camino de Fordham (línea de la avenida de IRT Jerónimo) | Antipapa Benedicto XIV

    • © 2007-2008 enciclopediaespana.com; article text available under the terms of GFDL, from en.wikipedia.org
    ="http://pagead2.googlesyndication.com/pagead/show_ads.js">