Table of Contents

• Fuzzy Logic as a Basis for a Theory of Hierarchical Definability (THD)Lotfi A. Zadeh. 3 [doi]
• Implementation of Multiple-Valued Functions Using Literal-Splitting TechniqueElena Dubrova. 7-10 [doi]
• Hyperoperations on {0, 1, 2} Based on Min, Max, and Universal Literal OperationsNoboru Takagi, Kyoichi Nakashima. 11-16 [doi]
• An extension of ternary majority function and its application to evolvable systemYoshinori Yamamoto. 17-23 [doi]
• A New Construction of the Irreducible Polynomial for parallel multiplier over GF(2m)Jong-Hak Hwang, Kyung-Jae Moon, Seung-Yong Park, Heung-Soo Kim. 24 [doi]
• New Information on the Effectiveness of Different Reed-Muller Algebras on the Representation of Quaternary FunctionsK. J. Adams, J. McGregor. 33-39 [doi]
• Polynomial Expansions over GF(3) based on Fastest TransformationBogdan J. Falkowski, Cheng Fu. 40-45 [doi]
• The Generation Circulation Method to Generalized Reed-Muller Coefficients over GF(3)Chol-U Lee, Gi-Young Byun, Bu-Sik Shin, Jae-Hwan Sim, Heung-Soo Kim. 46-49 [doi]
• Optimization of GF(4) Expressions Using the Extended Dual Polarity PropertyDragan Jankovic, Radomir S. Stankovic, Claudio Moraga. 50 [doi]
• Normal Forms for Fuzzy Logic FunctionsIrina Perfilieva. 59-64 [doi]
• Towards Fuzzy Type TheoryVilém Novák. 65-70 [doi]
• Universes of Fuzzy Sets - A Short SurveySiegfried Gottwald. 71-76 [doi]
• Fixed Points for Fuzzy Rule Bases and Fuzzy Chaining SyllogismKhosro Soleimani, Mashaallah Mashinchi, Hamid Reza Maleki. 77-82 [doi]
• Automated Finding of the Willis Ring in MR Angiography Images Using Fuzzy Knowledge BaseSyoji Kobashi, Katsuya Kondo, Yutaka Hata. 83 [doi]
• Counter Tree Diagrams for Design and Analysis of Fast Addition AlgorithmsJun Sakiyama, Takafumi Aoki, Tatsuo Higuchi. 91-98 [doi]
• Bidirectional Data Transfer Based Asynchronous VLSI System Using Multiple-Valued Current Mode LogicTakahiro Hanyu, Tomohiro Takahashi, Michitaka Kameyama. 99-104 [doi]
• MVL circuit design and characterization at the transistor level using SUS-LOCE. Kinvi-Boh, M. Aline, Olivier Sentieys, Edgar Dan Olson. 105-110 [doi]
• A Technique for Logic Design of Voltage-Mode Pass Transistor Based Multi-Valued Multiple-Output Logic CircuitsHafiz Md. Hasan Babu, Md. Rafiqul Islam, Amin Ahsan Ali, Mohammad Musa Salehin Akon. 111-116 [doi]
• Recursive Evaluation of the Generalized Reed-Muller CoefficientsGi Soo Na, Sang Wan Kim, Jai Sock Choi, Heung-Soo Kim. 117 [doi]
• Cascade Realizations of Two-valued Input Multiple-Valued Output Functions using Decomposition of Group FunctionsTsutomu Sasao. 125-132 [doi]
• A Novel Technology Mapping Method for AND/XOR ExpressionsSeok-Bum Ko, Jien-Chung Lo. 133-138 [doi]
• Iterative Symmetry Indices Decomposition for Ternary Logic Synthesis in Three-Dimensional SpaceAnas Al-Rabadi. 139-145 [doi]
• Multi-Output Galois Field Sum of Products Synthesis with New Quantum CascadesMozammel H. A. Khan, Marek A. Perkowski, Pawel Kerntopf. 146-153 [doi]
• Relationship between UCHT and FFTShoulie Xie, Susanto Rahardja, Zhenghui Gu. 154 [doi]
• Several Remarks on Non-Boolean Functions over Boolean AlgebrasDan A. Simovici. 163-168 [doi]
• Complete and Independent Sets of Axioms of Boolean AlgebraTomoko Ninomiya, Masao Mukaidono. 169-174 [doi]
• Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel LogicsMatthias Baaz, Norbert Preining, Richard Zach. 175-180 [doi]
• New Logical and Complexity Results for Signed-SATCarlos Ansótegui, Felip Manyà. 181-187 [doi]
• From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue GamesChristian G. Fermüller, Agata Ciabattoni. 188 [doi]
• Biomorphic Analog Devices based on Reaction-Diffusion SystemsTetsuya Asai, Yoshihito Amemiya. 197 [doi]
• Multiple-Valued Dynamic Source-Coupled LogicTakahiro Hanyu, Akira Mochizuki, Michitaka Kameyama. 207-212 [doi]
• A Field-Programmable Digital Filter Chip Using Multiple-Valued Current-Mode LogicKatsuhiko Degawa, Takafumi Aoki, Tatsuo Higuchi. 213-220 [doi]
• A Study on the Design of Flash Analog to Quaternary Converter Using DLC ComparatorSung Il Han, Young Hee Choi, Hyeon Kyeong Seong, Heung-Soo Kim. 221-226 [doi]
• A Novel Multiple-Input Multiple-Valued Semi-Floating-Gate LATCOmid Mirmotahari, Yngvar Berg. 227 [doi]
• On the Size of Multiple-Valued Decision DiagramsD. Michael Miller, Gerhard W. Dueck. 235-240 [doi]
• Efficient Minimization of Multiple-valued Decision Diagrams for Incompletely Specified FunctionsDenis V. Popel, Rolf Drechsler. 241-246 [doi]
• Compact Representations of Logic Functions using Heterogeneous MDDsShinobu Nagayama, Tsutomu Sasao. 247-252 [doi]
• Complexity of Decision Trees for Boolean FunctionsRusins Freivalds, Masahiro Miyakawa, Ivo G. Rosenberg. 253 [doi]
• Experimental and Simulation Studies of Single-Electron-Transistor-Based Multiple-Valued LogicHiroshi Inokawa, Yasuo Takahashi. 259-266 [doi]
• Complementary Self-Biased Scheme for the Robust Design of CMOS/SET Hybrid Multi-Valued LogicKi-Whan Song, Sang-Hoon Lee, Dae-Hwan Kim, Kyung Rok Kim, Jaewoo Kyung, Gwanghyeon Baek, Chun-An Lee, Jong Duk Lee, Byung-Gook Park. 267-272 [doi]
• Proposal of Four-Valued MRAM based on MTJ/RTD StructureTetsuya Uemura, Masafumi Yamamoto. 273 [doi]
• Modeling Multi-Valued Circuits in SystemCDaniel Große, Görschwin Fey, Rolf Drechsler. 281-286 [doi]
• Dynamic Reliability Indices for Multi-State SystemElena N. Zaitseva. 287-292 [doi]
• CTL Model-Checking over Logics with Non-Classical NegationsMarsha Chechik, Wendy MacCaull. 293 [doi]
• On the Centralizers of Monoids in Clone TheoryHajime Machida, Ivo G. Rosenberg. 303-308 [doi]
• Generation of the Post Lattice by Irreducible ClonesGrant Pogosyan, Ivo G. Rosenberg. 309-314 [doi]
• On Intervals of Partial Clones of Boolean Partial FunctionsLucien Haddad, G. E. Simons. 315 [doi]
• Family of Fast Transforms over GF(3) LogicBogdan J. Falkowski, Cheng Fu. 323-328 [doi]
• Spectral Transforms of Mixed-radix MVL FunctionsMitchell A. Thornton. 329-333 [doi]
• Fast Algorithm for Computing Spectral Transforms of Boolean and Multiple-Valued Functions on Circuit RepresentationRené Krenz, Elena Dubrova, Andreas Kuehlmann. 334 [doi]
• Functions of multiple-valued logic and the complexity of constraint satisfaction: A short surveyAndrei A. Krokhin, Andrei A. Bulatov, Peter Jeavons. 343 [doi]
• Learning subjective probabilities from a small data setClaudio Moraga, Chongfu Huang. 355-360 [doi]
• Using Games for Benchmarking and Representing the Complete Solution Space using Symbolic TechniquesGörschwin Fey, Sebastian Kinder, Rolf Drechsler. 361-366 [doi]
• From Continuous to Multiple-valued DataDenis V. Popel. 367 [doi]
• Augmented Sifting of Multiple-Valued Decision DiagramsD. Michael Miller, Rolf Drechsler. 375-382 [doi]
• On the Average Path Length in Decision Diagrams of Multiple-Valued FunctionsJon T. Butler, Tsutomu Sasao. 383-390 [doi]
• Generalized Complex Spectral Decision Diagrams Using Unified Complex Hadamard TransformSusanto Rahardja, Shoulie Xie. 391 [doi]