20. ISMVL 1990: Charlotte, NC, USA

Proceedings of the 20th International Symposium on Multiple-Valued Logic, ISMVL 1990, Charlotte, NC, USA, May 1990. IEEE Computer Society Press, 1990, ISBN 0-8186-2046-3

Keynote Address

C. M. Allen: Multi-Valued Logic: Wave of the Future or an Historical Anachronism. 1 BibTeX

Circuits

Jonathan Wayne Mills, M. Gordon Beavers, Charles A. Daffinger: Lukasiewicz Logic Arrays. 4-10 BibTeX
Okihiko Ishizuka, Zheng Tang, Hiroki Matsumoto: On Design of Multiple-Valued Static Random-Access-Memory. 11-17 BibTeX
Takahiro Hanyu, Tatsuo Higuchi: Design of a High-Density Multiple-Valued Content-Addressable Memory Based on Floating-Gate MOS Devices. 18-23 BibTeX
J. M. Johnson: Ternary Logic Elements for Self-timed Integrated Systems. 24 BibTeX
Orlando E. Katter Jr., Hassan M. Razavi: A New CMOS Gate - The Balanced Gate - For Detecting Physical Failures. 25-31 BibTeX

Algebra I

Lucien Haddad, Ivo G. Rosenberg: A Note on Finite Clones Containing All Permutations. 34-41 BibTeX
George Epstein, Helena Rasiowa: Theory and Uses of Post Algebras of Order omega+omegaw\ast.I. 42-47 BibTeX
Corina Reischer, Dan A. Simovici: Bio-Algebras. 48-53 BibTeX
Louis H. Kaufman: Robbins Algebra. 54-60 BibTeX

Spectral Techniques

Claudio Moraga, Jörg Poswig: Properties of the Zhang-Hartley Spectrum of Patterns. 62-68 BibTeX
T. Raju Damarla: Fault Detection in Multiple Valued Logic Circuits. 69-74 BibTeX
Bogdan J. Falkowski, Marek A. Perkowski: Walsh Type Transforms for Completely and Incompletely Specified Multiple-Valued Input Binary Functions. 75-82 BibTeX

Algebra II

Aldo V. Figallo, Luiz Monteiro, Alicia Ziliani: Free Three-valued Lukasiewicz, Post and Moisil Algebras over a Poset. 433-435 BibTeX
Josep Maria Font, Miquel Rius: A Four-Valued Modal Logic Arising from Monteiro's Last Algebras. 85-92 BibTeX
Noboru Takagi, Masao Mukaidono: Kleene-Stone Logic Functions. 93-100 BibTeX

Special Applications I

Deepak Dube, Anneliese von Mayrhauser: Alleviating Memory Bottlenecks Using Multi-Level Memory. 102-109 BibTeX
Oscar N. Garcia, Massoud Moussavi: A Six-Valued Logic for Representing Incomplete Knowledge. 110-114 BibTeX
A. Sengupta, C. Rhee: On the Diagnosability of Systems with Three Valued Test Results: Diagnosis by Comparison Strategy. 115-120 BibTeX
Jia-Yuan Han, Supreet Singh: Comparison Look-Ahead and Design of Fast Fuzzy Operation Units. 121-125 BibTeX

Logic Design I

Tsutomu Sasao: EXMIN: A Simplification Algorithm for Exclusive-OR-Sum-of-Products Expressions for Multiple-Valued Input Two-Valued Output Functions. 128-135 BibTeX
Gerhard W. Dueck, D. Michael Miller: RCM-MVL: A Recursive Consensus MVL Minimization Algorithm. 136-143 BibTeX
John M. Yurchak, Jon T. Butler: HAMLET - An Expression Compiler/Optimizer for the Implementation of Heuristics to Minimize Multiple-Valued Programmable Logic Arrays. 144-152 BibTeX
Chyan Yang, Yao-Ming Wang: A Neighborhood Decoupling Algorithm for Truncated Sum Minimization. 153-160 BibTeX

Invited Address

Michitaka Kameyama: Toward the Age of Beyond-Binary Electronics and Systems. 162-166 BibTeX

Circuits II

K. Wayne Current: A CMOS Quaternary Threshold Logic Full Adder Circuit with Transparent Latch. 168-173 BibTeX
Debashis Bhattacharya: Binary to Quaternary Encoding in Clocked CMOS Circuits Using Weak Buffer. 174-180 BibTeX
Peter Baltus, Pieter van der Meulen, Ross Morley: An Efficient Multi-Level Multi-Wire Differential Interface. 181-188 BibTeX
Lutz J. Micheel, Michael J. Paulus: Differential Multiple-Valued Logic Using Resonant Tunneling Diodes. 189-195 BibTeX
Mou Hu, Kenneth C. Smith: Application of Multiple-Valued Switch-Level Algebra to the Design and Analysis of Pass-Transistor Switch Networks. 196-201 BibTeX

Logic

Zbigniew Stachniak: Note on Resolution Approximation of Many-Valued Logics. 204-209 BibTeX
I. R. Goodman: Conditional Event Algebras and Logic, Part I: Motivation and History of the Problem. 210 BibTeX
Michael F. Schmidt: On Some Neglected Paradoxes of Modem Logic. 211-219 BibTeX
Nuno J. Mamede, João P. Martins: Bringing Resources into Logic. 220-227 BibTeX
Kazimierz Trzesicki: Many-Valued Tense Logic and the Problem of Determinism. 228-236 BibTeX

Invited Address

Melvin Fitting: Bilattices in Logic Prograrnming. 238-246 BibTeX

Logic and Algebra

János Demetrovics, Masahiro Miyakawa, Ivo G. Rosenberg, Dan A. Simovici, Ivan Stojmenovic: Intersections of Isotone Clones on a Finite Set. 248-253 BibTeX
Masahiro Miyakawa, Ivan Stojmenovic, Dietlinde Lau, Taketoshi Mishima: On the Structure of Maximal Closed Sets of P_K2. 254-261 BibTeX
Hantao Zhang: Approximate Reasoning in Strength Logic. 262-269 BibTeX
O. O. Silva, C. R. Souza: Induction of Fuzzy Production Rules. 270-278 BibTeX
Lichun Cheng, Mou Hu: A General Fuzzy Logical Operator Set. 279-283 BibTeX

Logic Design II

Jon T. Butler, Hans G. Kerkhoff, Siep Onneweer: A Comparative Analysis of Multiplexer Techniques for the Minimization of Function Cost Using the Costtable Approach. 286-291 BibTeX
Jon C. Muzio: Concerning the Maximum Size of the Terms in the Realization of Symmetric Functions. 292-299 BibTeX
Safwat G. Zaky, Zvonko G. Vranesic, Mostafa H. Abd-El-Barr: Step-Wise Synthesis of CCD MVL Functions. 300-307 BibTeX
Srinivas Devadas: Minimization of Functions with Multiple-Valued Outputs: Theory and Applications. 308-315 BibTeX
Mostafa H. Abd-El-Barr, H. Choy: On the Synthesis of MVMT Functions for PLA Implementation Using CCDs. 316-323 BibTeX

Invited Address

Ryszard S. Michalski: Theory of Plausible Reasoning - Foundations and Methodology. 325 BibTeX

Logic and Artificial Intelligence

Walter Alexandre Carnielli: Many-Valued Logics and Plausible Reasoning. 328-335 BibTeX
Masamitu Otake, Taketoshi Mishima, Yoichi Manome: Strength of the Rule of Inference. 336-338 BibTeX
V. S. Subrahmanian: Paraconsistent Disjunctive Deductive Databases. 339-346 BibTeX

Circuits III

Daniel Etiemble, C. Chanussot, Vincent Néri: 4-Valued BiCMOS Circuits for the Transmission System of a Massively Parallel Architecture. 348-354 BibTeX
Michitaka Kameyama, Masahiro Nomura, Tatsuo Higuchi: Modular Design of Multiple-Valued Arithmetic VLSI System Using Signed-Digit Number System. 355-362 BibTeX
Hsu Liang Ho, Kenneth C. Smith: Integrator-Chain Multiplier. 363-369 BibTeX

Artificial Intelligence and Expert Systems

Zbigniew W. Ras: Fault-Recovery and Intelligent Distributed System. 372-377 BibTeX
W. Elliott Jr., M. Schneider: The Learning Aspects of the Fault Finder Expert System. 378-385 BibTeX
Rudolf Felix: Goal-Oriented Control of VLSI Design Processes Based on Fuzzy Sets. 386-393 BibTeX
Zhijian Li, Hong Jiang: A CMOS Current-Mode High Speed Fuzzy Logic Microprocessor for a Real-Time Expert System. 394-401 BibTeX

Special Applications II

Kevin Cattell, Micaela Serra: The Analysis of One Dimensional Multiple-Valued Linear Cellular Automata. 402-409 BibTeX
Yutaka Hata, Kyoichi Nakashima, Kazuharu Yamato: Some Relationships Between Multiple-Valued Kleenean Functions and Ternary Input Multiple-Valued Output Functions. 410-417 BibTeX
Tatsuki Watanabe, Masayuki Matsumoto, Mitsuaki Enokida, Takahiro Hasegawa: A Design of Multiple-Valued Logic Neuron. 418-425 BibTeX
Loke-Soo Hsu, Hoon heng Teh, Sing-Chai Chan, Kia-Fock Loe: Multi-Valued Neural Logic Networks. 426-432 BibTeX