DocumentCode
344359
Title
Designing in many-valued logic
Author
Donnarumma, Antonio ; Pappalardo, Michele
Author_Institution
Dept. of Mech. Eng., Salerno Univ., Italy
Volume
1
fYear
1999
fDate
36342
Firstpage
663
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/IPMM.1999.792570
Filename
792570
Link To Document