Faculty Publications

Permanent URI for this collection

https://hdl.handle.net/10217/100497

Browse

Recent Submissions

Now showing 1 - 5 of 17
  • Thumbnail Image
    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.
  • Thumbnail Image
    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.
  • Thumbnail Image
    Item
    Open Access
    Models for modal syllogisms
    (Colorado State University. Libraries, 1989) Johnson, Fred (Frederick A.), author; Duke University Press, publisher
  • Thumbnail Image
    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.
  • Thumbnail Image
    Item
    Open Access
    Copi's method of deduction
    (Colorado State University. Libraries, 1979-04) Johnson, Fred (Frederick A.), author; Duke University Press, publisher