|
International Symposium on Multiple-Valued Logic (5º : 1975 : Indiana University)
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, c1977. 338 p. ; 23 cm. — (Episteme ; v. 2)
Incluye: A survey of many-valued logic (1966-1974) / Robert G. Wolf, p. [167]-323.
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.
ISBN 9027707472
|