Buscar
Mostrando ítems 1-3 de 3
La silogística
(Universidad EAFIT, 1996)
Corcoran's aristotelian syllogistic as a subsystem of first-order logic
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 ...
Silogística uma introdução à lógica dos enunciados categóricos
(Curitiba, 1995-03)