A Tableaux Method for Modal Term Logic

vol.11 número23

Los inicios de la filosofía griega: entre oralidad y escritura

Una discusión medieval pionera de la ética médica: La Quaestio an sit licitum provocare aborsum, de Gentile da Foligno

índice de autores

índice de materia

búsqueda de artículos

Home Page

lista alfabética de revistas

Servicios Personalizados

Revista

Articulo

Indicadores

Citado por SciELO
Accesos

Links relacionados

Similares en SciELO

Compartir

Permalink

Revista de filosofía open insight

versión On-line ISSN 2395-8936versión impresa ISSN 2007-2406

Resumen

CASTRO-MANZANO, J.-Martín. A Tableaux Method for Modal Term Logic. Rev. filos.open insight [online]. 2020, vol.11, n.23, pp.165-180. Epub 21-Abr-2023. ISSN 2395-8936. https://doi.org/10.23924/oi.v11i23.422.

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 syllogistic, relational syllogistic, and modal syllogistic.

Palabras llave : modal logic; semantic tree; term logic.

· resumen en Español · texto en Español