### Resumen

Idioma original | English (US) |
---|---|

Páginas (desde-hasta) | 67-80 |

Número de páginas | 14 |

Publicación | Revista Colombiana de Matematicas |

Volumen | 41 |

Estado | Published - jun 2007 |

### Huella dactilar

### Citar esto

*Revista Colombiana de Matematicas*,

*41*, 67-80.

}

*Revista Colombiana de Matematicas*, vol. 41, pp. 67-80.

**Corcoran's Aristotelian syllogistic as a subsystem of first-order logic.** / Andrade Lotero, Edgar Jose; Becerra, Edward.

Resultado de la investigación: Contribución a Revista › Artículo

TY - JOUR

T1 - Corcoran's Aristotelian syllogistic as a subsystem of first-order logic

AU - Andrade Lotero, Edgar Jose

AU - Becerra, Edward

PY - 2007/6

Y1 - 2007/6

N2 - Aristotelian syllogistic has been formalized for some time now by means of a natural deduction system, called D by John Corcoran. In a classical paper, Corcoran proves a completeness theorem for such a system. His proof involves the use of a reduced system, called RD, that is easier to handle and turns out to be equivalent to D. The question remains, however, whether RD is in fact the easiest such system that is equivalent to D. In this paper we answer this question, but raise some more, by embedding system RD in first-order predicate logic.

AB - Aristotelian syllogistic has been formalized for some time now by means of a natural deduction system, called D by John Corcoran. In a classical paper, Corcoran proves a completeness theorem for such a system. His proof involves the use of a reduced system, called RD, that is easier to handle and turns out to be equivalent to D. The question remains, however, whether RD is in fact the easiest such system that is equivalent to D. In this paper we answer this question, but raise some more, by embedding system RD in first-order predicate logic.

M3 - Article

VL - 41

SP - 67

EP - 80

JO - Revista Colombiana de Matematicas

JF - Revista Colombiana de Matematicas

SN - 0034-7426

ER -