Title :
Designing in many-valued logic
Author :
Donnarumma, Antonio ; Pappalardo, Michele
Author_Institution :
Dept. of Mech. Eng., Salerno Univ., Italy
Abstract :
The analysis described is based on the many-valued logic of Lukasiewitcz (1970). It leads to the construction of a simple design model when the analysis cannot be based upon a two-valued logic. The reference is based on the semantics of Kripke, immersion in a definite possible world, and on the process of verification and confirmation of Carnap. The example given is based on the statistics of Dempster and Shafer
Keywords :
logic design; multivalued logic; Carnap; Dempster Shafer theory; Kripke semantics; Lukasiewitcz logic; logic design; many-valued logic; trivalent logic; Algorithm design and analysis; Data analysis; Feedback; Information analysis; Logic design; Mathematical model; Mechanical engineering; Multivalued logic; Process planning; Statistics;
Conference_Titel :
Intelligent Processing and Manufacturing of Materials, 1999. IPMM '99. Proceedings of the Second International Conference on
Conference_Location :
Honolulu, HI
Print_ISBN :
0-7803-5489-3
DOI :
10.1109/IPMM.1999.792570
