Serviços Personalizados
Journal
Artigo
Indicadores
- Citado por SciELO
- Acessos
Links relacionados
- Similares em SciELO
Compartilhar
Andamios
versão On-line ISSN 2594-1917versão impressa ISSN 1870-0063
Resumo
CASTRO-MANZANO, José Martín. On a Tableaux Method for Numerical Term Logic. Andamios [online]. 2019, vol.16, n.41, pp.103-125. Epub 20-Maio-2020. ISSN 2594-1917. https://doi.org/10.29092/uacm.v16i41.717.
In this contribution we propose a tableaux method for Murphree’s Numerical Term Logic. The result is an analytic tableaux method for propositional logic, apodictic syllogistic, relational syllogistic, intermediate syllogistic, and numerical syllogistic.
Palavras-chave : Semantic trees; term logic; non-classical quantifiers.