Parry syllogisms

dc.contributor.author	Johnson, Fred (Frederick A.), author
dc.contributor.author	Duke University Press, publisher
dc.date.accessioned	2019-10-23T14:38:56Z
dc.date.available	2019-10-23T14:38:56Z
dc.date.issued	1999
dc.description.abstract	Parry discusses an extension of Aristotle's syllogistic that uses four nontraditional quantifiers. We show that his conjectured decision procedure for validity for the extended syllogistic is correct even if syllogisms have more than two premises. And we axiomatize this extension of the syllogistic.
dc.format.medium	born digital
dc.format.medium	articles
dc.identifier.bibliographicCitation	Johnson, Fred. Parry Syllogisms. Notre Dame J. Formal Logic 40 (1999), no. 3, 414--419. https://doi.org/10.1305/ndjfl/1022615619. https://projecteuclid.org/euclid.ndjfl/1022615619
dc.identifier.doi	https://doi.org/10.1305/ndjfl/1022615619
dc.identifier.uri	https://hdl.handle.net/10217/198388
dc.language	English
dc.language.iso	eng
dc.publisher	Colorado State University. Libraries
dc.relation.ispartof	Faculty Publications
dc.relation.ispartof	Notre Dame journal of formal logic, v. 40, no. 3 (Summer 1999)
dc.rights	Copyright and other restrictions may apply. User is responsible for compliance with all applicable laws. For information about copyright law, please see https://libguides.colostate.edu/copyright.
dc.subject	subsystem of classical logic (including intuitionistic logic)
dc.subject	logic with extra quantifiers and operators
dc.title	Parry syllogisms
dc.type	Text

Files

Now showing 1 - 1 of 1