A simplified decision procedure for categorical syllogisms.
Harry J. Gensler
Source: Notre Dame J. Formal Logic Volume 14, Number 4
(1973), 457-466.
First Page:
Show
Hide
Primary Subjects:
02B10
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093891100
Zentralblatt MATH identifier: 0214.00604
Mathematical Reviews number (MathSciNet): MR0381925
Digital Object Identifier: doi:10.1305/ndjfl/1093891100
Notre Dame Journal of Formal Logic
