Un método de árboles para la lógica de términos modal

• Autores: José Martín Castro Manzano
• Localización: Open Insight, ISSN-e 2395-8936, Vol. 11, Nº. 23, 2020, págs. 165-180
• Idioma: español
• Títulos paralelos:
  • A Tableaux Method for Modal Term Logic
• Enlaces
  • Texto completo
• Resumen
  • español

    En esta contribución ofrecemos un mé-todo de árboles para la lógica de térmi-nos modal de Englebretsen. El resultado es un método arborescente capaz de mo-delar inferencia en lógica proposicional, silogística básica, silogística relacional y silogística modal

  • English

    In this contribution we offer a tableaux method for Englebretsen’s modal term functor logic. The result is a tableaux method for propositional logic, basic syl-logistic, relational syllogistic, and modal syllogistic