Patrones inferenciales
Bibliographic Data
| ID | 22329786 |
|---|---|
| Authors | Axel Arturo Barceló Aspeitia (0000-0002-0693-5910, Instituto de Filosofía, corresponding author) |
| Year | 2008 |
| Volume | 40 |
| Issue | 120 |
| Pages | 3-35 |
| Publication date | 2008-01-08 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Critica (JOURNAL) |
| Journal identifiers | ISSN: 0011-1503 • E-ISSN: 1870-4905 |
| Publisher | Universidad Nacional Autonoma de Mexico (PUBLISHER • MX) |
| DOI | 10.22201/iifs.18704905e.2008.993 |
| OpenAlex | W4246804462 |
| Language | EN |
| Citations received | 1 |
| References cited | 1 |
El objetivo de este artículo es proponer un método de traducción de tablas de verdad a reglas de inferencia, para la lógica proposicional, que sea tan directo como el tradicional método inverso(de reglas a tablas). Este método,además, permitirá resolver de manera elegante el viejo problema, formulado originalmente por Prior en1 960, dedeterminar qué reglas de inferencia definen un conectivo
Humanities · Advanced Algebra and Logic · Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Philosophy
| Citations per year | 0.17 |
|---|---|
| Citation span | 2020 - 2020 (1) |
| Highly cited | No |