Serviços Personalizados
Journal
Artigo
Indicadores
Citado por SciELO
Acessos
Links relacionados
Similares em SciELO
Compartilhar
Revista de filosofía open insight
versão On-line ISSN 2395-8936versão impressa ISSN 2007-2406
Resumo
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.
Palavras-chave : modal logic; semantic tree; term logic.