(Colorado State University. Libraries, 1984) Johnson, Fred (Frederick A.), author; Oxford University Press, publisher
Johnson claims that Slater is mistaken in identifying his system, presented by using tree rules, with a natural deduction system that results from modifying a system used by Copi. He then modifies Slater's tree rules and shows that these tree rules can be used to pick out precisely those arguments that are valid in a three-valued logic described by Bochvar.
