Table of Contents

• As You Like Them: Connectives in Fuzzy LogicClaudi Alsina. 2 [doi]
• Verification of Multi-Valued Logic NetworksRolf Drechsler. 10-15 [doi]
• Family of Fast Mixed Arithmetic Logic Transforms for Multiple-Valued Input Binary FunctionsSusanto Rahardja, Bogdan J. Falkowski. 24 [doi]
• A Necessary and Sufficient Condition for Lukasiewicz Logic FunctionsNoboru Takagi, Kyoichi Nakashima, Masao Mukaidono. 37-42 [doi]
• Propositional Skew Boolean LogicRobert J. Bignall, Matthew Spinks. 43 [doi]
• Fault Diagnosis System Based on Sensitivity Analysis and Fuzzy LogicL. J. de Miguel, Margarita Mediavilla, Jose Ramón Perán González. 50-55 [doi]
• Testability of Generalized Multiple-Valued Reed-Muller CircuitsElena Dubrova, Jon C. Muzio. 56-61 [doi]
• Design of One-Vector Testable Binary Systems Based on Ternary LogicMou Hu. 62 [doi]
• A Literal Gate Using Resonant-Tunneling DevicesTakao Waho, Kevin J. Chen, Masafumi Yamamoto. 68-73 [doi]
• A Multiple-Valued Ferroelectric Content-Addressable MemoryAli Sheikholeslami, P. Glenn Gulak, Takahiro Hanyu. 74-79 [doi]
• Interband RTDs with Nanoelectronic HBT-LED Structures for Multiple-Valued ComputationLutz J. Micheel, Hans L. Hartnagel. 80-85 [doi]
• Low-Energy Logic Circuit Techniques for Multiple-Valued LogicK. Wayne Current, Vojin G. Oklobdzija, Dragan Maksimovic. 86 [doi]
• A Ternary Systolic Product-Sum Circuit for GF(3m) using Neuron MOSFETsNoriaki Muranaka, Shigenobu Arai, Shigeru Imanishi, D. Michael Miller. 92-97 [doi]
• New MVL-PLA Structures Based on Current-Mode CMOS TechnologyMostafa H. Abd-El-Barr, M. N. Hasan. 98-103 [doi]
• Design of Highly Parallel Linear Digital Circuits Based on Symbol-Level RedundancyMasami Nakajima, Michitaka Kameyama. 104-109 [doi]
• On the Use of VHDL as a Multi-Valued Logic SimulatorCome Rozon. 110 [doi]
• Commodious Axiomatization of Quantifiers in Multiple-Valued LogicReiner Hähnle. 118-123 [doi]
• The Incidence Propagation MethodWeiru Liu. 124-129 [doi]
• Approximative Conjunctions Processing by Multi-Valued LogicHerman Akdag, Myriam Mokhtari. 130-135 [doi]
• Intuitionistic Counterparts of Finitely-Valued LogicsMatthias Baaz, Christian G. Fermüller. 136 [doi]
• On the Contributions of Helena Rasiowa to Mathematical LogicJosep Maria Font. 147 [doi]
• From Pure to Approximate LogicTon Sales. 148 [doi]
• Rational Transitivity and its ModelsHassan Bezzazi, Ramón Pino Pérez. 160-165 [doi]
• Several Remarks on the Complexity of Set-Valued Switching FunctionsDan A. Simovici, Corina Reischer. 166 [doi]
• Petri Net Representation of Fuzzy Reasoning under Incomplete InformationAlberto Bugarín, Purificación Cariñena, Manuel Fernández Delgado, Senén Barro. 172-177 [doi]
• Reasoning in Inconsistent Stratified Knowledge BasesSalem Benferhat, Didier Dubois, Henri Prade. 184 [doi]
• Inference in Fuzzy Logic via Generalized Constraint PropagationLotfi A. Zadeh. 192 [doi]
• On Isomorphisms between the Lattice of Tolerance Relations and Lattices of ClusteringsHelmut Thiele. 198-202 [doi]
• An Algebraic Approach to HyperalgebrasIvo G. Rosenberg. 203 [doi]
• Wave-Parallel Computing Technique for Neural Networks Based on Amplitude-Modulated WavesYasushi Yuminaka, Yoshisato Sasaki, Takafumi Aoki, Tatsuo Higuchi. 210-215 [doi]
• Design of Multivalued Circuits using Genetic AlgorithmsWenjun Wang, Claudio Moraga. 216 [doi]
• Quaternary Universal-Literal CAM for Cellular Logic Image ProcessingTakahiro Hanyu, Manabu Arakaki, Michitaka Kameyama. 224-229 [doi]
• Multi-Valued Decoder Based on Resonant Tunneling Diodes in Current Tapping ModeHao Tang, Hung Chang Lin. 230 [doi]
• Planarity in ROMDD s of Multiple-Valued Symmetric FunctionsJon T. Butler, J. L. Nowlin, Tsutomu Sasao. 236-241 [doi]
• Multiple-Valued Decision Diagrams with Symmetric Variable NodesD. Michael Miller, Noriaki Muranaka. 242-247 [doi]
• Complex Spectral Decision DiagramsBogdan J. Falkowski, Susanto Rahardja. 255 [doi]
• Polynomial Completeness Criteria in Finite Boolean AlgebrasB. A. Romov. 262-266 [doi]
• Technique of Computing Logic Derivatives for MVL-FunctionsVlad P. Shmerko, Svetlana N. Yanushkevich, Vitaly G. Levashenko, I. Bondar. 267-272 [doi]
• On the Lattice of Partial Clones on a Finite SetLucien Haddad, Jean Fugère. 273-278 [doi]
• DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate LogicsStefan Gerberding. 284-289 [doi]
• Logic Expressions of Monotonic Multiple-Valued FunctionsKyoichi Nakashima, Y. Nakamura, Noboru Takagi. 290-295 [doi]
• Efficiently Irreducible Bases in Multiple-Valued LogicGrant Pogosyan. 296-301 [doi]
• Logical Not Polynomial Forms to Represent Multiple-Valued FunctionsElena N. Zaitseva, Tatiana Kalganova, Evgeny G. Kochergov. 302-307 [doi]