Browse
Recent Submissions
- ItemOpen AccessRejection and truth-value gaps(Colorado State University. Libraries, 1999) Johnson, Fred (Frederick A.), author; Duke University Press, publisherA theorem due to Shoesmith and Smiley that axiomatizes two-valued multiple-conclusion logics is extended to partial logics.
- ItemOpen AccessCounting functions(Colorado State University. Libraries, 1992) Johnson, Fred (Frederick A.), author; Duke University Press, publisherCounting functions are shown to be closed under composition.
- ItemOpen AccessModels for modal syllogisms(Colorado State University. Libraries, 1989) Johnson, Fred (Frederick A.), author; Duke University Press, publisher
- ItemOpen AccessParry syllogisms(Colorado State University. Libraries, 1999) Johnson, Fred (Frederick A.), author; Duke University Press, publisherParry 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.
- ItemOpen AccessCopi's method of deduction(Colorado State University. Libraries, 1979-04) Johnson, Fred (Frederick A.), author; Duke University Press, publisher