Modern uses of multiple-valued logic : invited papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975
edited by J. Michael Dunn and George Epstein ; with a bibliography of many-valued logic by Robert G. Wolf.
Dordrecht, Holland ; Boston, U.S.A. : D. Reidel, ©1977.
338 págs. ; 23 cm.
Serie: Episteme ; v. 2
ISBN: 9027707472
Incluye: A survey of many-valued logic (1966-1974) / Robert G. Wolf, p. [167]-323.
Reseña: MathSciNet, 57 #9454
Contenido
- Nuel D. Belnap, Jr., A useful four-valued logic
- M. Yoeli and J. A. Brzozowski, Ternary simulation of binary gate networks
- Ph. Dwinger, A survey of the theory of Post algebras and their generalizations
- H. Rasiowa, Many-valued algorithmic logic as a tool to investigate programs
- R. E. Bellman and L. A. Zadeh, Local and fuzzy logics.