Bases of admissible rules for K -saturated logics

• Autores: V. V. Rimatskii
• Localización: Algebra and logic, ISSN 0002-5232, Vol. 47, Nº. 6, 2008, págs. 420-425
• Idioma: inglés
• DOI: 10.1007/s10469-008-9033-x
• Texto completo no disponible (Saber más ...)
• Resumen

  • Admissible inference rules for table modal and superintuitionistic logics are investigated. K-saturated logics are defined semantically. Such logics are proved to have finite bases for admissible inference rules in finitely many variables.