MODAL AND MANY - VALUED LOGICS,
Abstract
This report presents several postulate-sets and theorems for many-valued logics, logics characterized by more than two truth-values. It also presents basic axiom-sets and theorems for modal logics including that of strict implication. The matrix formulation of strict implication has been utilized recently in the representation of neural nets. The report exhibits some of the paradoxes of strict implication and their analogues of material implication in the sentential calculus of A. N. Whitehead and B. A. Russell. The many-valued logics of J. Lukasiewicz, A. Tarski, and E. L. Post are treated in some detail. Finally, the report deals with the four-valued Post logic and the application of three-valued Post logic to switching and gate functions. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 01, 1964
- Accession Number
- AD0437998
Entities
People
- Erwin Biser
Organizations
- United States Army Communications-Electronics Command