- J-STAGE home
- /
- Journal of the Mathematical So ...
- /
- Volume 29 (1977) Issue 3
- /
- Article overview
The formal system for various 3-valued logics II
Toshio NISHIMURA, Takemasa OHYA
Author information
-
Toshio NISHIMURA
Department of Mathematics University of Tsukuba
-
Takemasa OHYA
Department of Mathematics Tokai University
JOURNAL
FREE ACCESS
1977 Volume 29 Issue 3 Pages 513-527
Details
- Published: 1977 Received: May 31, 1976 Available on J-STAGE: October 20, 2006 Accepted: - Advance online publication: - Revised: -
-
Correction information
Date of correction: October 20, 2006 Reason for correction: - Correction: CITATION Details: Wrong : 1) S. C. Kleene, Introduction to metamathematics, Van Nostrand Company, Inc., Princeton, N. J., 1952.
2) J. McCarthy, Predicate calculus with “undefined” as a truth value, Stanford Artificial Intelligence Project, Memo 1, 1963.
3) T. Nishimura and T. Ohya, The formal system for various 3-valued logics I, Science Reports of the Tokyo Kyoiku Daigaku, Section A, Vol. 13, No. 348 (1975), 7-22.
4) M. Takahashi, Many valued logics of extended Gentzen style, Science Reports of the Tokyo Kyoiku Daigaku, Section A, Vol. 9, No. 237 (1967), 271-292.
Right : [1] S. C. Kleene, Introduction to metamathematics, Van Nostrand Company, Inc., Princeton, N. J., 1952.
[2] J. McCarthy, Predicate calculus with “undefined” as a truth value, Stanford Artificial Intelligence Project, Memo 1, 1963.
[3] T. Nishimura and T. Ohya, The formal system for various 3-valued logics I, Science Reports of the Tokyo Kyoiku Daigaku, Section A, Vol. 13, No. 348 (1975), 7-22.
[4] M. Takahashi, Many valued logics of extended Gentzen style, Science Reports of the Tokyo Kyoiku Daigaku, Section A, Vol. 9, No. 237 (1967), 271-292.
Date of correction: October 20, 2006 Reason for correction: - Correction: PDF FILE Details: -
Download PDF (1023K)
Download citation
RIS
BIB TEX
Text
How to download citation
Contact us
(compatible with EndNote, Reference Manager, ProCite, RefWorks)
(compatible with BibDesk, LaTeX)
Article 1st page
