Synthesis of Axiom Systems for the Three-Valued Predicate Logic by Means of the Special Four-Valued Logic,
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- May 01, 1983
- Accession Number
- ADP002358
Entities
People
- M. Goto
- S. Kao
- T. Ninomiya
Organizations
- Meiji University