1. Home
  2. Proceedings
  3. ISMVL
  4. ISMVL 1996
Default Cover Image

Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)

Jan. 19 1996 to Jan. 31 1996

Jantiago de Compostela, SPAIN

ISSN: 0195-623X

ISBN: 0-8186-7392-3

Table of Contents

Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)Freely available from IEEE.pp. iii-iii
Message from the General ChairFreely available from IEEE.pp. ix
Message from the Program ChairFreely available from IEEE.pp. x
CommitteesFreely available from IEEE.pp. xi
RefereesFreely available from IEEE.pp. xii
Keynote Address I
As You Like Them: Connectives in Fuzzy LogicFull-text access may be available. Sign in or learn about subscription options.pp. 2
by Claudi Alsina
Session 1A: Logic Design I
Verification of multi-valued logic networksFull-text access may be available. Sign in or learn about subscription options.pp. 10
by R. Drechsler
Session 1A: Logic Design I
New Interpolation Algorithms for Multiple-Valued Reed-Muller FormsFull-text access may be available. Sign in or learn about subscription options.pp. 16
by Zeljko Zilic, Zvonko G. Vranesic
Session 1A: Logic Design I
Family of fast mixed arithmetic logic transforms for multiple-valued input binary functionsFull-text access may be available. Sign in or learn about subscription options.pp. 24
by S. Rahardja, B.J. Falkowski
Session 1B: Logic I
Non archimedean models of Lukasiewicz logicFull-text access may be available. Sign in or learn about subscription options.pp. 32
by A. Di Nola
Session 1B: Logic I
A necessary and sufficient condition for Lukasiewicz logic functionsFull-text access may be available. Sign in or learn about subscription options.pp. 37
by N. Takagi, K. Nakashima, M. Mukaidono
Session 1B: Logic I
Propositional Skew Boolean LogicFull-text access may be available. Sign in or learn about subscription options.pp. 43
by R. J. Bignall, M. Spinks
Session 2A: Fault Modeling, Fault Diagnosis
Fault diagnosis system based on sensitivity analysis and fuzzy logicFull-text access may be available. Sign in or learn about subscription options.pp. 50
by L.J. de Miguel, M. Mediavilla, J.R. Peran
Session 2A: Fault Modeling, Fault Diagnosis
Testability of Generalized Multiple-Valued Reed-Muller CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 56
by E.V. Dubrova, J.C. Muzio
Session 2A: Fault Modeling, Fault Diagnosis
Design of One-Vector Testable Binary Systems Based on Ternary LogicFull-text access may be available. Sign in or learn about subscription options.pp. 62
by Mou Hu
Session 2B: Devices
A Literal Gate Using Resonant-Tunneling DevicesFull-text access may be available. Sign in or learn about subscription options.pp. 68
by T. Waho, K. J. Chen, M. Yamamoto
Session 2B: Devices
A Multiple-Valued Ferroelectric Content-Addressable MemoryFull-text access may be available. Sign in or learn about subscription options.pp. 74
by Ali Sheikholeslami, P. Glenn Gulak, Takahiro Hanyu
Session 2B: Devices
Interband RTDs with nanoelectronic HBT-LED structures for multiple-valued computationFull-text access may be available. Sign in or learn about subscription options.pp. 80
by L.J. Micheel, H.L. Hartnagel
Session 2B: Devices
Low-Energy Logic Circuit Techniques for Multiple Valued LogicFull-text access may be available. Sign in or learn about subscription options.pp. 86
by K. W. Current, V. G. Oklobdzija, D. Maksimovic
Session 3A: Circuits, Logic Design I
A Ternary Systolic Product-Sum Circuit for GF(3**m) using Neuron MOSFETsFull-text access may be available. Sign in or learn about subscription options.pp. 92
by Noriaki Muranaka, Shigenobu Arai, Shigeru Imanishi, D. Michael Miller
Session 3A: Circuits, Logic Design I
New MVL-PLA structures based on current-mode CMOS technologyFull-text access may be available. Sign in or learn about subscription options.pp. 98
by M. Abd-El-Barr, M.N. Hasan
Session 3A: Circuits, Logic Design I
Design of Highly Parallel Linear Digital Circuits Based on Symbol-Level RedundancyFull-text access may be available. Sign in or learn about subscription options.pp. 104
by Masami Nakajima, Michitaka Kameyama
Session 3A: Circuits, Logic Design I
On the use of VHDL as a multi-valued logic simulatorFull-text access may be available. Sign in or learn about subscription options.pp. 110
by C. Rozon
Session 3B: Logic II
Commodious axiomatization of quantifiers in multiple-valued logicFull-text access may be available. Sign in or learn about subscription options.pp. 118
by R. Hahnle
Session 3B: Logic II
The Incidence Propagation MethodFull-text access may be available. Sign in or learn about subscription options.pp. 124
by W. Liu
Session 3B: Logic II
Approximative conjunctions processing by multi-valued logicFull-text access may be available. Sign in or learn about subscription options.pp. 130
by H. Akdag, M. Mokhtari
Session 3B: Logic II
Intuitionistic counterparts of finitely-valued logicsFull-text access may be available. Sign in or learn about subscription options.pp. 136
by M. Baaz, C.G. Fermuller
Special Session: Helena Rasiowa, In Memoriam: Invited Speakers: G. Malinowski, J.M. Font, and T. Sales
Helena Rasiowa-a view of the academic trajectory and the influence upon Polish and international scientific communityFull-text access may be available. Sign in or learn about subscription options.pp. 144
by G. Malinowski
Special Session: Helena Rasiowa, In Memoriam: Invited Speakers: G. Malinowski, J.M. Font, and T. Sales
On the contributions of Helena Rasiowa to mathematical logicFull-text access may be available. Sign in or learn about subscription options.pp. 147
by J.M. Font
Special Session: Helena Rasiowa, In Memoriam: Invited Speakers: G. Malinowski, J.M. Font, and T. Sales
From pure to approximate logicFull-text access may be available. Sign in or learn about subscription options.pp. 148
by T. Sales
Session 4A: Algebra I
Associativeness versus RecursivenessFull-text access may be available. Sign in or learn about subscription options.pp. 154
by V. Cutello E. Molina, J. Montero
Session 4A: Algebra I
Rational Transitivity and its ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 160
by Hassan Bezzazi, Ramon Pino Perez
Session 4A: Algebra I
Several remarks on the complexity of set-valued switching functionsFull-text access may be available. Sign in or learn about subscription options.pp. 166
by D.A. Simovici, C. Reischer
Session 4B: Artificial Intelligence, Reasoning
Petri Net Representation of Fuzzy Reasoning Under Incomplete InformationFull-text access may be available. Sign in or learn about subscription options.pp. 172
by A. Bugarin, P. Cari F1ena, M.F. Delgado, S. Barro
Session 4B: Artificial Intelligence, Reasoning
Weight structures for approximate reasoning with weighted expressionsFull-text access may be available. Sign in or learn about subscription options.pp. 178
by S. Lehmke
Session 4B: Artificial Intelligence, Reasoning
Reasoning in Inconsistent Stratified Knowledge BasesFull-text access may be available. Sign in or learn about subscription options.pp. 184
by Salem Benferhat, Didier Dubois, Henri Prade
Keynote Address II
Inference in fuzzy logic via generalized constraint propagationFull-text access may be available. Sign in or learn about subscription options.pp. 192
by L.A. Zadeh
Session 5A: Algebra II
On isomorphisms between the lattice of tolerance relations and lattices of clusteringsFull-text access may be available. Sign in or learn about subscription options.pp. 198
by H. Thiele
Session 5A: Algebra II
An algebraic approach to hyperalgebrasFull-text access may be available. Sign in or learn about subscription options.pp. 203
by I.G. Rosenberg
Session 5B: Soft Computing
Wave-Parallel Computing Technique for Neural Networks Based on Amplitude-Modulated WavesFull-text access may be available. Sign in or learn about subscription options.pp. 210
by Yasushi Yuminaka, Yoshisato Sasaki, Takafumi Aoki, Tatsuo Higuchi
Session 5B: Soft Computing
Design of Multivalued Circuits using Genetic AlgorithmsFull-text access may be available. Sign in or learn about subscription options.pp. 216
by Wenjun Wang, Claudio Moraga
Session 6A: Circuits, Logic Design II
Quaternary Universal-Literal CAM for Cellular Logic Image ProcessingFull-text access may be available. Sign in or learn about subscription options.pp. 224
by Takahiro Hanyu, Manabu Arakaki, Michitaka Kameyama
Session 6A: Circuits, Logic Design II
Multi-valued decoder based on resonant tunneling diodes in current tapping modeFull-text access may be available. Sign in or learn about subscription options.pp. 230
by Hao Tang, H.C. Lin
Session 6B: Decision Diagrams
Planarity in ROMDDs of multiple-valued symmetric functionsFull-text access may be available. Sign in or learn about subscription options.pp. 236
by J.T. Butler, J.L. Nowlin, T. Sasao
Session 6B: Decision Diagrams
Multiple-Valued Decision Diagrams with Symmetric Variable NodesFull-text access may be available. Sign in or learn about subscription options.pp. 242
by D. M. Miller, N. Muranaka
Session 6B: Decision Diagrams
A method to represent multiple-output switching functions by using multi-valued decision diagramsFull-text access may be available. Sign in or learn about subscription options.pp. 248
by T. Sasao, J.T. Butler
Session 6B: Decision Diagrams
Complex spectral decision diagramsFull-text access may be available. Sign in or learn about subscription options.pp. 255
by B.J. Falkowski, S. Rahardja
Session 7A: Algebra III
Polynomial completeness criteria in finite Boolean algebrasFull-text access may be available. Sign in or learn about subscription options.pp. 262
by B.A. Romov
Session 7A: Algebra III
Technique of computing logic derivatives for MVL-functionsFull-text access may be available. Sign in or learn about subscription options.pp. 267
by V.P. Shmerko, S. Yanushkevich, V. Levashenko, I. Bondar
Session 7A: Algebra III
On the lattice of partial clones on a finite setFull-text access may be available. Sign in or learn about subscription options.pp. 273
by L.E. Haddad, B.J Fugere
Session 7A: Algebra III
The deepest repetition-free decompositions of nonsingular functions of finite-valued logicsFull-text access may be available. Sign in or learn about subscription options.pp. 279
by F. Sokhatsky
Session 7B: Logic III
DT-an automated theorem prover for multiple-valued first-order predicate logicsFull-text access may be available. Sign in or learn about subscription options.pp. 284
by S. Gerberding
Session 7B: Logic III
Logic expressions of monotonic multiple-valued functionsFull-text access may be available. Sign in or learn about subscription options.pp. 290
by K. Nakashima, Y. Nakamura, N. Takagi
Session 7B: Logic III
Efficiently Irreducible Bases in Multiple-Valued LogicFull-text access may be available. Sign in or learn about subscription options.pp. 296
by Grant Pogosyan
Session 7B: Logic III
Logical not Polynomial Forms to represent Multiple-Valued FunctionsFull-text access may be available. Sign in or learn about subscription options.pp. 302
by Elena N. Zaitseva, Tatyana G. Kalganova, Evgeny G. Kochergov
Session 7B: Logic III
Author IndexFreely available from IEEE.pp. 308
Showing 56 out of 56