Abstract is missing.
- Algebras for Hazard DetectionJanusz A. Brzozowski, Zoltán Ésik, Y. Iland. 3
- A New Improved Cost-Table-Based Technique for Synthesis of 4-Valued Unary Functions Implemented Using Current-Mode CMOS CircuitsMostafa H. Abd-El-Barr, Abdullah Al-Mutawa. 15-20
- Dual-Rail Multiple-Valued Current-Mode VLSI with Biasing Current SourcesTsukasa Ike, Takahiro Hanyu, Michitaka Kameyama. 21-26
- Realization of NMAX and NMIN Functions with Multi-Valued Voltage ComparatorsMotoi Inaba, Koichi Tanno, Okihiko Ishizuka. 27
- An Application of Multiple-Valued Logic to Test Case Generation for Software System Functional TestingMou Hu. 35-40
- Spectral Techniques in Binary and Multiple-Valued Switching TheoryMark G. Karpovsky, Radomir S. Stankovic, Claudio Moraga. 41
- Power Efficient Inter-Module Communication for Digit-Serial DSP Architectures in Deep-Submicron TechnologyImed Ben Dhaou, Elena Dubrova, Hannu Tenhunen. 61-66
- A 4-Digit CMOS Quaternary to Analog Converter with Current Switch and Neuron MOS Down Literal CircuitSung Il Han, Young Hee Choi, Heung See Kim. 67
- On Some Classes of Fuzzy Information RelationsAnna Maria Radzikowska, Etienne E. Kerre. 75-80
- On Complete Residuated Many-Valued Logics with T-Norm ConjunctionFrancesc Esteva, Lluis Godo. 81
- A Three-Valued D-Flip-Flop and Shift Register Using Multiple-Junction Surface Tunnel TransistorsTetsuya Uemura, Toshio Baba. 89-93
- Flash Analog-to-Digital Converter Using Resonant-Tunneling Multiple-Valued CircuitsTakao Waho, Kazufumi Hattori, Y. Takamatsu. 94-99
- Evaluation of Inconsistency in a 2-Way Fuzzy Adaptive System Using Shadowed SetsEvren Gürkan, Aydan M. Erkmen, Ismet Erkmen. 109-115
- Identification of Incompletely Specified Fuzzy Unate Logic FunctionHiroaki Kikuchi. 116
- Representation Theorems and the Semantics of (Semi)Lattice-Based LogicsViorica Sofronie-Stokkermans. 125
- Complexity of Many-Valued LogicsReiner Hähnle. 137
- Exploiting Polarity in Multiple-Valued Inference SystemsZbigniew Stachniak. 149
- Multiple-Valued Galois Field S/D Trees for GFSOP Minimization and Their ComplexityAnas Al-Rabadi, Marek A. Perkowski. 159-166
- Multiple-Valued Mask-Programmable Logic Array Using One-Transistor Universal-Literal CircuitsTakahiro Hanyu, Michitaka Kameyama, Katsuhiko Shimabukuro, C. Zukeran. 167-172
- Decomposition of Multi-Valued Functions into Min- and Max-GatesChristian Lang, Bernd Steinbach. 173
- Cut-Elimination in a Sequents-of-Relations Calculus for Gödel LogicMatthias Baaz, Agata Ciabattoni, Christian G. Fermüller. 181-186
- Model Checking with Multi-Valued Temporal LogicsMarsha Chechik, Steve M. Easterbrook, Benet Devereux. 187-192
- Information Theory Method for Flexible Network SynthesisV. Cheushev, Svetlana N. Yanushkevich, Vlad P. Shmerko, Claudio Moraga, Joanna Kolodziejczyk. 201-206
- Two-Stage Exact Detection of SymmetricsAnna M. Tomaszewska, Piotr Dziurzanski, Svetlana N. Yanushkevich, Vlad P. Shmerko. 213
- A Modular Reduction of Regular Logic to Classical LogicRamón Béjar, Reiner Hähnle, Felip Manyà. 221-226
- Hypersequents as a Uniform Framework for Urquhart s C, MTL and Related LogicsAgata Ciabattoni, Christian G. Fermüller. 227-232
- Challenge of a Multiple-Valued Technology in Recent Deep-Submicron VLSITakahiro Hanyu. 241
- A Model of Reaction-Diffusion Cellular Automata for Massively Parallel Molecular ComputingMasahiko Hiratsuka, Takafumi Aoki, Tatsuo Higuchi. 247-252
- Synthesis of Multiple-Valued Arithmetic Circuits Using Evolutionary Graph GenerationMasanori Natsui, Takafumi Aoki, Tatsuo Higuchi. 253-258
- An Axiomatization of Generalized Entropy of PartitionsDan A. Simovici, Szymon Jaroszewicz. 259
- Many Valued Paraconsistent LogicC. Morgan. 267-272
- On Logical Fiberings and Decomposition of Many-Valued Operations: A Brief SurveyJochen Pfalzgraf. 273-278
- Relations between Clones and Full MonoidsHajime Machida, Masahiro Miyakawa, Ivo G. Rosenberg. 279
- Classical Gentzen-Type Methods in Propositional Many-Valued LogicsArnon Avron. 287
- Selection of Efficient Re-Ordering Heuristics for MDD ConstructionFrank Schmiedle, Wolfgang Günther, Rolf Drechsler. 299-304
- Bit-Level and Word-Level Polynomial Expressions for Functions in Fibonacci Interconnection TopologiesRadomir S. Stankovic, Milena Stankovic, Jaakko Astola, Karen Egiazarian. 305-310
- Design of Haar Wavelet Transforms and Haar Spectral Transform Decision Diagrams for Multiple-Valued FunctionsRadomir S. Stankovic, Milena Stankovic, Claudio Moraga. 311
- A Set Theory within Fuzzy LogicPetr Hájek, Zuzana Haniková. 319-323
- On a Kleenean Extension of Fuzzy MeasureTomoyuki Araki, Masao Mukaidono, F. Yamamoto. 324-329
- On axiomatic characterisations of fuzzy approximation operators II. The rough fuzzy set based caseHelmut Thiele. 330
- A Functional Manipulation for Improving Tolerance against Multiple-Valued Weight Faults of Feedforward Neural NetworksNaotake Kamiura, Yasuyuki Taniguchi, Nobuyuki Matsui. 339-344
- Logics Circuit Diagnosis by Using Neural NetworksHisayuki Tatsumi, Yasuyuki Murai, Shinji Tokumasu. 345-350
- Weierstrass Approximations by Lukasiewicz Formulas with One Quantified VariableStefano Aguzzoli, Daniele Mundici. 361-366
- Composing SubmonadsPatrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde. 367-372
- A Method of Uncertainty Reasoning by Using InformationJun Ma, Jun Liu, Yang Xu. 373