Accession Number : ADP002358

Title :   Synthesis of Axiom Systems for the Three-Valued Predicate Logic by Means of the Special Four-Valued Logic,

Corporate Author : MEIJI UNIV TOKYO (JAPAN)*

Personal Author(s) : Goto,M. ; Kao,S. ; Ninomiya,T.

Report Date : MAY 1983

Pagination or Media Count : 7

Abstract : In this paper, M. Wajsberg's axiom system is improved to the complete system by means of the special 4-valued logic. Similarly Kleene's 3-valued logic and Bochvar's one are also axiomatized to the complete systems. Finally those three systems are extended to the predicate logic systems. Such method is applicable to other multiple-valued logic systems. (Author)

Descriptors :   *Mathematical logic, *Symposia, Multiple operation, Binary notation, Value, Addressing, Logic, Japan

Distribution Statement : APPROVED FOR PUBLIC RELEASE