Faculty Publications

Permanent URI for this collection

Browse

Recent Submissions

Now showing 1 - 5 of 17
  • Item
    Open Access
    Rejection and truth-value gaps
    (Colorado State University. Libraries, 1999) Johnson, Fred (Frederick A.), author; Duke University Press, publisher
    A theorem due to Shoesmith and Smiley that axiomatizes two-valued multiple-conclusion logics is extended to partial logics.
  • Item
    Open Access
    Counting functions
    (Colorado State University. Libraries, 1992) Johnson, Fred (Frederick A.), author; Duke University Press, publisher
    Counting functions are shown to be closed under composition.
  • Item
    Open Access
    Models for modal syllogisms
    (Colorado State University. Libraries, 1989) Johnson, Fred (Frederick A.), author; Duke University Press, publisher
  • Item
    Open Access
    Parry syllogisms
    (Colorado State University. Libraries, 1999) Johnson, Fred (Frederick A.), author; Duke University Press, publisher
    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.
  • Item
    Open Access
    Copi's method of deduction
    (Colorado State University. Libraries, 1979-04) Johnson, Fred (Frederick A.), author; Duke University Press, publisher