Parry syllogisms
Date
1999
Authors
Johnson, Fred (Frederick A.), author
Duke University Press, publisher
Journal Title
Journal ISSN
Volume Title
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.
Description
Rights Access
Subject
subsystem of classical logic (including intuitionistic logic)
logic with extra quantifiers and operators