Author:
Andrade-Lotero Edgar,Dutilh Novaes Catarina
Publisher
Springer Science and Business Media LLC
Reference26 articles.
1. Andrade, E. J., & Becerra, E. (2007). Corcoran’s Aristotelian syllogistic as a subsystem of first-order logic. Revista Colombiana de Matemáticas, 41(1), 67–80.
2. Andrade, E. J., & Becerra, E. (2008). Establishing connections between Aristotle’s natural deduction and first-order logic. History and Philosophy of Logic, 29(4), 309–325.
3. Boger, G. (1998). Completion, reduction and analysis: Three proof-theoretic processes in Aristotle’s prior analytics. History and Philosophy of Logic, 19, 187–226.
4. Caicedo, X., & Martin-Maldonado, A. (2001). Completitud de dos Cálculos Lógicos de Leibniz. Theoria - Segunda Época, 16(3), 539–558.
5. Corcoran, J. (1972). Completeness of an ancient logic. The Journal of Symbolic Logic, 37(4), 696–702.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The logics of a universal language;Asian Journal of Philosophy;2024-02-15
2. The Dialogical Roots of Deduction;2020-12-10
3. Mereology in Aristotle's Assertoric Syllogistic;History and Philosophy of Logic;2018-06
4. Aristotle, Logic, and QUARC;History and Philosophy of Logic;2018-05-29
5. Formal Methods and the History of Philosophy;Introduction to Formal Philosophy;2018