Silogística intermedia, términos y árboles
Journal
Tópicos
ISSN
2007-8498
Publisher
Universidad Panamericana. Facultad de Filosofía
Date Issued
2019
Type
Resource Types::text::journal::journal article
DOI
URL
Abstract
En este trabajo proponemos un método de árboles para la silogística intermedia de Peterson y Thompson usando el álgebra de Sommers y Englebretsen. El resultado es un método analítico de árboles capaz de modelar inferencia en silogística básica, relacional e intermedia
Subjects
File(s)
License
Acceso Abierto
URL License
How to cite
Castro-Manzano, J. M. . (2019). Silogística intermedia, términos y árboles. Tópicos, Revista De Filosofía, (58), 209–237. https://doi.org/10.21555/top.v0i58.1065
Table of contents
1. Introducción -- 2. Silogística, TFL, silogística intermedia y TFL -- 2.1 Aspectos generales de la silogística -- 2.2 Term Functor Logic -- 2.3 Silogística intermedia -- 2.4 Intermediate Term Functor Logic -- 3. Árboles para TFL+ -- 3.1 Ejemplos de silogística intermedia -- 3.2 Ejemplos de silogística básica -- 3.3 Ejemplos de silogística relacional -- 3.4 Confiabilidad -- 4. Conclusiones