MODAL AND MANY - VALUED LOGICS,
Erwin Biser · Defense Technical Information Center (DTIC) · 1964
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)