Trees for a 3-valued logic
| dc.contributor.author | Johnson, Fred (Frederick A.), author | |
| dc.contributor.author | Oxford University Press, publisher | |
| dc.date.accessioned | 2007-01-03T05:44:21Z | |
| dc.date.available | 2007-01-03T05:44:21Z | |
| dc.date.issued | 1984 | |
| dc.description | Publisher version: http://www.jstor.org/stable/3327454. | |
| dc.description.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. | |
| dc.format.medium | born digital | |
| dc.format.medium | articles | |
| dc.identifier.bibliographicCitation | Johnson, Fred, Trees for a 3-Valued Logic, Analysis 44, no. 1 (Jan. 1984): 43-46. http://www.jstor.org/stable/3327454 | |
| dc.identifier.uri | http://hdl.handle.net/10217/39005 | |
| dc.language | English | |
| dc.language.iso | eng | |
| dc.publisher | Colorado State University. Libraries | |
| dc.relation.ispartof | Faculty Publications | |
| dc.rights | © 1984 Oxford University Press. | |
| dc.rights | 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. | |
| dc.subject | logic, symbolic and mathematical | |
| dc.subject | validity | |
| dc.subject | logic | |
| dc.subject | many-valued logics | |
| dc.subject | semantics | |
| dc.subject | trees | |
| dc.title | Trees for a 3-valued logic | |
| dc.title.alternative | Trees for a three-valued logic | |
| dc.type | Text |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Fred_Johnson_Trees.pdf
- Size:
- 204.83 KB
- Format:
- Adobe Portable Document Format
- Description:
- Trees for a 3-valued logic