Computer Science and Multiple-Valued Logic. Theory and Applications

Content: 
Front Matter, Page iii
Copyright, Page iv
list of contributors, Pages vii-viii
preface, Pages ix-xiv
chapter 1 - an introduction to multiple-valued logic, Pages 2-12, david c. rine
chapter 2 - from fixed to mixed radix, Pages 15-70, george epstein
chapter 3 - decisive implication, Pages 71-114, george epstein
chapter 4 - post algebras through P0 and P1 lattices, Pages 115-136, t. traczyk
chapter 5 - an algorithm for axiomatizing every finite logic, Pages 137-143, stanisław j. surma
chapter 6 - completeness properties of multiple-valued logic algebras, Pages 144-186, ivo g. rosenberg
chapter 7 - computer simplification of multi-valued switching functions, Pages 189-220, Stephen y.h. su, peter t. cheung
chapter 8 - minimization of multivalued functions, Pages 221-261, william r. smith III
chapter 9 - the allen-givone implementation oriented algebra, Pages 262-282, c. michael alien, donald d. givone
chapter 10 - multi-valued asynchronous networks, Pages 283-307, anthony s. wojcik
chapter 11 - vector boolean algebra and vector boolean calculus; theory and applications, Pages 308-338, samuel c. lee
chapter 12 - binary network hazard elimination by multi-valued gates: techniques and relative costs, Pages 339-351, edgar ducasse
chapter 13 - a monograph on ternary threshold logic, Pages 355-394, claudio moraga
chapter 14 - electronic circuits for multi-valued digital systems, Pages 397-419, z.g. vranesic, k.c. smith
chapter 15 - multiple-valued negative resistance integrated circuits, Pages 420-472, george abraham
chapter 16 - application of multiple-valued logic: possibilities and problems, Pages 475-484, gideon frieder
chapter 17 - multi-valued logic in arithmetic units, Pages 485-505, v.c. hamacher, z.g. vranesic
chapter 18 - variable-valued logic and its applications to pattern recognition and machine learning, Pages 506-534, ryszard s. michalski
chapter 19 - multiple-real-valued Walsh functions, Pages 535-548, marvin e. liebler, robert p. roesser