Servicios Personalizados
Revista
Articulo
Indicadores
- Citado por SciELO
- Accesos
Links relacionados
- Similares en SciELO
Compartir
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.