Zobrazeno 1 - 1
of 1
pro vyhledávání: '"ANDRADE, EDGAR J."'
Autor:
ANDRADE, EDGAR J., BECERRA, EDWARD
Publikováno v:
Revista Colombiana de Matemáticas, Volume: 41, Issue: 1, Pages: 67-80, Published: 15 JUN 2007
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______618::b7121ab4eae664898b25f9afc44712b8
http://www.scielo.org.co/scielo.php?script=sci_arttext&pid=S0034-74262007000100005&lng=en&tlng=en
http://www.scielo.org.co/scielo.php?script=sci_arttext&pid=S0034-74262007000100005&lng=en&tlng=en
