Johnson, Fred (Frederick A.), authorOxford University Press, publisher2007-01-032007-01-031984Johnson, Fred, Trees for a 3-Valued Logic, Analysis 44, no. 1 (Jan. 1984): 43-46. http://www.jstor.org/stable/3327454http://hdl.handle.net/10217/39005Publisher version: http://www.jstor.org/stable/3327454.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.born digitalarticleseng© 1984 Oxford University Press.Copyright and other restrictions may apply. User is responsible for compliance with all applicable laws. For information about copyright law, please see https://libguides.colostate.edu/copyright.logic, symbolic and mathematicalvaliditylogicmany-valued logicssemanticstreesText