A result of extending Bochvar's $3$-valued logic [Book Review]

Notre Dame Journal of Formal Logic 15 (2):344-346 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891314

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,297

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Bochvar-McCarthy Logic and Process Algebra.Jan A. Bergstra & Alban Ponse - 1998 - Notre Dame Journal of Formal Logic 39 (4):464-484.
Scharle Thomas W.. A diagram of the functors of the two-valued propositional calculus. Notre Dame journal of formal logic, vol. 3 , pp. 243–255. [REVIEW]Gene F. Rose - 1963 - Journal of Symbolic Logic 28 (2):175-175.
A strong completeness theorem for $3$-valued logic. [REVIEW]H. Goldberg, H. Leblanc & G. Weaver - 1974 - Notre Dame Journal of Formal Logic 15 (2):325-330.
A strong completeness theorem for 3-valued logic. Part II.Hugues Leblanc - 1977 - Notre Dame Journal of Formal Logic 18:107.
A theory of classes and individuals based on a $3$-valued significance logic. [REVIEW]Ross T. Brady - 1980 - Notre Dame Journal of Formal Logic 21 (2):385-414.
The determination of all Sheffer functions in $3$-valued logic, using a logical computer. [REVIEW]Eric Foxley - 1962 - Notre Dame Journal of Formal Logic 3 (1):41-50.
Foxley Eric. The determination of all Sheffer functions in 3-valued logic, using a logical computer. Notre Dame journal of formal logic, vol. 3 , pp. 41–50. [REVIEW]Atwell R. Turquette - 1963 - Journal of Symbolic Logic 28 (2):174-174.
Programming the functions of formal logic. II. Multi-valued logics.S. Summersbee - 1963 - Notre Dame Journal of Formal Logic 4:293.
Three-valued free tense logic.Robert P. McArthur - 1977 - Notre Dame Journal of Formal Logic 18 (1):101-106.
A note on UDE's in an $n$-valued logic.T. C. Wesselkamper - 1974 - Notre Dame Journal of Formal Logic 15 (3):485-486.

Analytics

Added to PP
2010-08-24

Downloads
28 (#805,576)

6 months
7 (#728,225)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references