Repository logo
 

Trees for a 3-valued logic

Date

1984

Authors

Johnson, Fred (Frederick A.), author
Oxford University Press, publisher

Journal Title

Journal ISSN

Volume Title

Abstract

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.

Description

Publisher version: http://www.jstor.org/stable/3327454.

Rights Access

Subject

logic, symbolic and mathematical
validity
logic
many-valued logics
semantics
trees

Citation

Associated Publications