You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB

a logical geometry project

Axiomatization of Aristotelian Syllogistic Logic Based on Generalized Quantifier Theory (2018)

Author: Zhang, Xiaojun
Journal: Applied and Computational Mathematics, vol. 7, issue 3, pp. 167–172
Language: English
DOI: doi:10.11648/j.acm.20180703.23