An explicit basis for the admissible inference rules in the Gödel-Löb logic GL

• Autores: B. R. Fedorishin
• Localización: Siberian mathematical journal, ISSN 0037-4466, Vol. 48, Nº. 2, 2007, págs. 339-345
• Idioma: inglés
• DOI: 10.1007/s11202-007-0036-y
• Texto completo no disponible (Saber más ...)
• Resumen

  • We describe an explicit basis for the admissible inference rules in the Gödel-Löb logic. The basis consists of a sequence of inference rules in infinitely many variables. Inference rules in the reduced form play an important role in this study. Alongside a basis for the admissible rules we obtain a basis for the quasi-identities of the countable rank free algebra in the Gödel-Löb logic.