The Community for Technology Leaders
2013 IEEE 43rd International Symposium on Multiple-Valued Logic (1996)
Jantiago de Compostela, SPAIN
Jan. 19, 1996 to Jan. 31, 1996
ISSN: 0195-623X
ISBN: 0-8186-7392-3
TABLE OF CONTENTS

Committees (PDF)

pp. xi

Referees (PDF)

pp. xii
Keynote Address I

As You Like Them: Connectives in Fuzzy Logic (Abstract)

Claudi Alsina , Universitat Oberta de Catalunya
pp. 2
Session 1A: Logic Design I

Verification of multi-valued logic networks (Abstract)

R. Drechsler , Inst. of Comput. Sci., Albert-Ludwigs-Univ., Freiburg, Germany
pp. 10

New Interpolation Algorithms for Multiple-Valued Reed-Muller Forms (Abstract)

Zeljko Zilic , Department of Electrical and Computer Engineering University of Toronto
Zvonko G. Vranesic , Department of Electrical and Computer Engineering University of Toronto
pp. 16

Family of fast mixed arithmetic logic transforms for multiple-valued input binary functions (Abstract)

S. Rahardja , Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
B.J. Falkowski , Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
pp. 24
Session 1B: Logic I

Non archimedean models of Lukasiewicz logic (Abstract)

A. Di Nola , Istituto di Matematica, Universita di Napoli, Italy
pp. 32

A necessary and sufficient condition for Lukasiewicz logic functions (Abstract)

N. Takagi , Dept. Electr. & Inf., Toyama Prefectural Univ., Japan
K. Nakashima , Dept. Electr. & Inf., Toyama Prefectural Univ., Japan
M. Mukaidono , Dept. Electr. & Inf., Toyama Prefectural Univ., Japan
pp. 37

Propositional Skew Boolean Logic (Abstract)

M. Spinks , School of Computing and Information Technology Monash University
R. J. Bignall , School of Computing and Information Technology Monash University
pp. 43
Session 2A: Fault Modeling, Fault Diagnosis

Fault diagnosis system based on sensitivity analysis and fuzzy logic (Abstract)

J.R. Peran , Dept. of Syst. Eng. & Control, Valladolid Univ., Spain
M. Mediavilla , Dept. of Syst. Eng. & Control, Valladolid Univ., Spain
L.J. de Miguel , Dept. of Syst. Eng. & Control, Valladolid Univ., Spain
pp. 50

Testability of Generalized Multiple-Valued Reed-Muller Circuits (Abstract)

J.C. Muzio , Department of Computer Science University of Victoria
E.V. Dubrova , Department of Computer Science University of Victoria
pp. 56
Session 2B: Devices

A Literal Gate Using Resonant-Tunneling Devices (Abstract)

K. J. Chen , NTT LSI Laboratories
M. Yamamoto , NTT LSI Laboratories
T. Waho , NTT LSI Laboratories
pp. 68

Interband RTDs with nanoelectronic HBT-LED structures for multiple-valued computation (Abstract)

L.J. Micheel , Wright Lab., US Air Force, Wright-Patterson Air Force Base, OH, USA
H.L. Hartnagel , Wright Lab., US Air Force, Wright-Patterson Air Force Base, OH, USA
pp. 80

Low-Energy Logic Circuit Techniques for Multiple Valued Logic (Abstract)

D. Maksimovic , Electrical and Computer Engineering Department
V. G. Oklobdzija , Electrical and Computer Engineering Department
K. W. Current , Electrical and Computer Engineering Department
pp. 86
Session 3A: Circuits, Logic Design I

New MVL-PLA structures based on current-mode CMOS technology (Abstract)

M. Abd-El-Barr , Dept. of Comput. Eng., King Fahd Univ. of Pet. & Miner., Dhahran, Saudi Arabia
M.N. Hasan , Dept. of Comput. Eng., King Fahd Univ. of Pet. & Miner., Dhahran, Saudi Arabia
pp. 98

On the use of VHDL as a multi-valued logic simulator (Abstract)

C. Rozon , R. Mil. Coll. of Canada, Kingston, Ont., Canada
pp. 110
Session 3B: Logic II

Commodious axiomatization of quantifiers in multiple-valued logic (Abstract)

R. Hahnle , Dept. of Comput. Sci., Karlsruhe Univ., Germany
pp. 118

The Incidence Propagation Method (Abstract)

W. Liu , University of Ulster
pp. 124

Approximative conjunctions processing by multi-valued logic (Abstract)

M. Mokhtari , Paris VI Univ., France
H. Akdag , Paris VI Univ., France
pp. 130

Intuitionistic counterparts of finitely-valued logics (Abstract)

M. Baaz , Inst. fur Algebra und Diskrete Math., Tech. Univ. Wien, Austria
C.G. Fermuller , Inst. fur Algebra und Diskrete Math., Tech. Univ. Wien, Austria
pp. 136
Special Session: Helena Rasiowa, In Memoriam: Invited Speakers: G. Malinowski, J.M. Font, and T. Sales

On the contributions of Helena Rasiowa to mathematical logic (PDF)

J.M. Font , Fac. of Math., Barcelona Univ., Spain
pp. 147

From pure to approximate logic (Abstract)

T. Sales , Dept. de Llenguatges i Sistemes Inf., Univ. Politecnica de Catalunya, Barcelona, Spain
pp. 148
Session 4A: Algebra I

Rational Transitivity and its Models (Abstract)

Ramon Pino Perez , Universite de Lille I
Hassan Bezzazi , Universite de Lille I
pp. 160

Several remarks on the complexity of set-valued switching functions (Abstract)

C. Reischer , Dept. of Math. & Comput. Sci., Massachusetts Univ., Boston, MA, USA
D.A. Simovici , Dept. of Math. & Comput. Sci., Massachusetts Univ., Boston, MA, USA
pp. 166
Session 4B: Artificial Intelligence, Reasoning

Petri Net Representation of Fuzzy Reasoning Under Incomplete Information (Abstract)

S. Barro , Universidade de Santiago de Compostela
A. Bugarin , Universidade de Santiago de Compostela
P. Cari F1ena , Universidade de Santiago de Compostela
M.F. Delgado , Universidade de Santiago de Compostela
pp. 172

Weight structures for approximate reasoning with weighted expressions (Abstract)

S. Lehmke , Dept. of Comput. Sci., Dortmund Univ., Germany
pp. 178

Reasoning in Inconsistent Stratified Knowledge Bases (Abstract)

Didier Dubois , Universite Paul Sabatier
Henri Prade , Universite Paul Sabatier
Salem Benferhat , Universite Paul Sabatier
pp. 184
Keynote Address II

Inference in fuzzy logic via generalized constraint propagation (Abstract)

L.A. Zadeh , Comput. Sci. Div., California Univ., Berkeley, CA, USA
pp. 192
Session 5A: Algebra II

On isomorphisms between the lattice of tolerance relations and lattices of clusterings (Abstract)

H. Thiele , Dept. of Comput. Sci., Dortmund Univ., Germany
pp. 198

An algebraic approach to hyperalgebras (Abstract)

I.G. Rosenberg , Dept. de Math. et de Stat., Montreal Univ., Que., Canada
pp. 203
Session 5B: Soft Computing

Design of Multivalued Circuits using Genetic Algorithms (Abstract)

Wenjun Wang , University of Dortmund, Dept. C.Sc.
Claudio Moraga , University of Dortmund, Dept. C.Sc.
pp. 216
Session 6A: Circuits, Logic Design II

Quaternary Universal-Literal CAM for Cellular Logic Image Processing (Abstract)

Takahiro Hanyu , Tohoku University
Michitaka Kameyama , Tohoku University
Manabu Arakaki , Tohoku University
pp. 224

Multi-valued decoder based on resonant tunneling diodes in current tapping mode (Abstract)

Hao Tang , Dept. of Electr. Eng., Maryland Univ., College Park, MD, USA
H.C. Lin , Dept. of Electr. Eng., Maryland Univ., College Park, MD, USA
pp. 230
Session 6B: Decision Diagrams

Planarity in ROMDDs of multiple-valued symmetric functions (Abstract)

J.T. Butler , Dept. of Electr. & Comput. Eng., Naval Postgraduate Sch., Monterey, CA, USA
J.L. Nowlin , Dept. of Electr. & Comput. Eng., Naval Postgraduate Sch., Monterey, CA, USA
T. Sasao , Dept. of Electr. & Comput. Eng., Naval Postgraduate Sch., Monterey, CA, USA
pp. 236

Multiple-Valued Decision Diagrams with Symmetric Variable Nodes (Abstract)

D. M. Miller , VLSI Design and Test Group University of Victoria
N. Muranaka , Department of Electronics Kansai University
pp. 242

A method to represent multiple-output switching functions by using multi-valued decision diagrams (Abstract)

T. Sasao , Dept. of Comput. Sci. & Electron., Kyushu Inst. of Technol., Iizuka, Japan
J.T. Butler , Dept. of Comput. Sci. & Electron., Kyushu Inst. of Technol., Iizuka, Japan
pp. 248

Complex spectral decision diagrams (Abstract)

B.J. Falkowski , Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
S. Rahardja , Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
pp. 255
Session 7A: Algebra III

Technique of computing logic derivatives for MVL-functions (Abstract)

I. Bondar , Inst. of Comput. Sci., Tech. Univ. Szczecin, Poland
V.P. Shmerko , Inst. of Comput. Sci., Tech. Univ. Szczecin, Poland
V. Levashenko , Inst. of Comput. Sci., Tech. Univ. Szczecin, Poland
S. Yanushkevich , Inst. of Comput. Sci., Tech. Univ. Szczecin, Poland
pp. 267

The deepest repetition-free decompositions of nonsingular functions of finite-valued logics (Abstract)

F. Sokhatsky , Dept. of Algebra, Pedagogical Inst., Vinnyteia, Ukraine
pp. 279
Session 7B: Logic III

DT-an automated theorem prover for multiple-valued first-order predicate logics (Abstract)

S. Gerberding , Dept. of Comput. Sci., Darmstadt Univ., Germany
pp. 284

Logic expressions of monotonic multiple-valued functions (Abstract)

K. Nakashima , Dept. of Electron. & Inf., Toyama Prefectural Univ., Japan
N. Takagi , Dept. of Electron. & Inf., Toyama Prefectural Univ., Japan
Y. Nakamura , Dept. of Electron. & Inf., Toyama Prefectural Univ., Japan
pp. 290

Efficiently Irreducible Bases in Multiple-Valued Logic (Abstract)

Grant Pogosyan , International Christian University
pp. 296

Logical not Polynomial Forms to represent Multiple-Valued Functions (Abstract)

Elena N. Zaitseva , Belarussian State Economic University
Evgeny G. Kochergov , (Institute of Problems of Criminology, Criminalistics and Forensic Expertise, Gvardeyskaya 7, 220035, Minsk, Republic of Belarus
Tatyana G. Kalganova , (Belarussian State Universityof Informatics and Radioelectronics, Brovky
pp. 302

Author Index (PDF)

pp. 308
89 ms
(Ver )