Accession Number : AD0437998


Title :   MODAL AND MANY - VALUED LOGICS,


Corporate Author : ARMY ELECTRONICS LABS FORT MONMOUTH N J


Personal Author(s) : Biser,Erwin


Report Date : Feb 1964


Pagination or Media Count : 57


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)


Descriptors :   *MATHEMATICAL LOGIC , BIONICS , SET THEORY , NERVOUS SYSTEM , METAMATHEMATICS


Distribution Statement : APPROVED FOR PUBLIC RELEASE