Modern Uses of Multiple-Valued Logic

Abstract

INTRODUCTION N. D. BELNAP, JR. / A Useful Four-Valued Logic 8 M. YO ELI and J. A. BRZOZOWSKI/Ternary Simulation of Binary Gate Networks 41 PH. DWINGER / A Survey of the Theory of Post Algebras and Their Generalizations 53 H. RASIOW A / Many-Valued Algorithmic Logic as a Tool to Investigate Programs 79 R. E. BELLMAN and L. A. ZADEH / Local and Fuzzy Logics 105 APPENDIX I: A Survey of Many-Valued Logic (1966-1974) by R. G. WOLF