The Community for Technology Leaders
Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic (1988)
Palma de Mallorca, Spain
null null, 1988 to null null, 1988
ISBN: 0-8186-0859-5
TABLE OF CONTENTS

Degrees of untruth (PDF)

D. Miller , Dept. of Philos., Warwick Univ., Coventry, UK
pp. 2-3

Design of highly parallel residue arithmetic circuits based on multiple-valued bidirectional current-mode MOS technology (PDF)

M. Kameyama , Dept. of Electron. Eng., Tohoku Univ., Sendai, Japan
T. Sekibe , Dept. of Electron. Eng., Tohoku Univ., Sendai, Japan
T. Higuchi , Dept. of Electron. Eng., Tohoku Univ., Sendai, Japan
pp. 6-13

Ternary physical protocol for MARILAN, a multiple-access ring local area network (PDF)

R.J. Kaliman , Dept. of Electr. Eng., Maryland Univ., College Park, MD, USA
C.B. Silio , Dept. of Electr. Eng., Maryland Univ., College Park, MD, USA
pp. 14-20

Structural computer-aided design of current-mode CMOS logic circuits (PDF)

S. Onneweer , Twente Univ., Enschede, Netherlands
H. Kerkhoff , Twente Univ., Enschede, Netherlands
pp. 21-30

The design of decoders for Q-valued logic circuits (PDF)

A. Prieto , Dept. of Electron. & Syst. Inf., Granada Univ., Spain
P. Martin-Smith , Dept. of Electron. & Syst. Inf., Granada Univ., Spain
F. Pelayo , Dept. of Electron. & Syst. Inf., Granada Univ., Spain
A. Lloris , Dept. of Electron. & Syst. Inf., Granada Univ., Spain
pp. 32-39

A proposed DDT/IDCT chip design using quaternary logic (PDF)

K.W. Current , Dept. of Electr. Eng., California Univ., Davis, CA, USA
pp. 40-44

A semi-custom technique realizing nondestructive information processing (PDF)

W. Lin , Dept. of Comput. Sci., South China Inst. of Technol., Guangzhou, China
Q. Zheng , Dept. of Comput. Sci., South China Inst. of Technol., Guangzhou, China
G. Huang , Dept. of Comput. Sci., South China Inst. of Technol., Guangzhou, China
pp. 45-50

On the associativity of C(x, y) and x-C(x, 1-y) (PDF)

C. Alsina , Dept. of Math., Univ. Politecnica de Catalunya, Barcelona, Spain
pp. 52-53

On a class of binary operations: non-strict Archimedean aggregation functions (PDF)

G. Mayor , Dept. of Math. & Comput. Sci., Univ. de Les Illes Balears., Palma de Mallorca, Spain
J. Torrens , Dept. of Math. & Comput. Sci., Univ. de Les Illes Balears., Palma de Mallorca, Spain
pp. 54-59

Copulas in the unit interval uniformly close to some t-norms (PDF)

R. Rovira , Dept. Math., Univ. Politecnica de Catalunya, Barcelona, Spain
pp. 60-62

An event based fuzzy temporal logic (PDF)

S. Dutta , Div. of Comput. Sci., California Univ., Berkeley, CA, USA
pp. 64-71

A new approach to handling fuzzy decision-making problems (PDF)

S.-M. Chen , Dept. of Electron. Eng., Fu-Jen Univ., Taipei, Taiwan
pp. 72-76

Fuzzy measures and their representation (PDF)

H.J. Skala , Fachbereich Wirtschaftswissenschaften, Paderborn Univ., West Germany
pp. 77-80

The incremental-cost approach for synthesis of CCD 4-valued unary functions (PDF)

M.H. Abd-El-Barr , Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
T.D. Hoang , Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
pp. 82-89

CMOS four-valued logic circuits using charge control technique (PDF)

T. Watanabe , Dept. of Electr. Eng., Toyo Univ., Saitama, Japan
M. Matsumoto , Dept. of Electr. Eng., Toyo Univ., Saitama, Japan
T. Li , Dept. of Electr. Eng., Toyo Univ., Saitama, Japan
pp. 90-97

JCTL: a Josephson complementary ternary logic circuit (PDF)

M. Morisue , Dept. of Electron. Eng., Saitama Univ., Urawa, Japan
K. Ochi , Dept. of Electron. Eng., Saitama Univ., Urawa, Japan
M. Nishizawa , Dept. of Electron. Eng., Saitama Univ., Urawa, Japan
pp. 98-104

Fuzzy systolic arrays (Abstract)

M.A. Manzoul , Dept. of Electr. Eng., Southern Illinois Univ., Carbondale, IL, USA
H.A. Serrate , Dept. of Electr. Eng., Southern Illinois Univ., Carbondale, IL, USA
pp. 106-112

A discussion on the theory of logic value redundance (PDF)

M. Hu , Dept. of Comput. Eng., Shanghai Inst. of Railway Technol., China
pp. 118-121

An iterative characterization of post algebras (PDF)

C. Reischer , Dept. of Math. & Comput. Sci., Quebec Univ., Trois-Rivieres, Que., Canada
pp. 124-128

A survey of some results in lattice-valued model theory (PDF)

S. Wang , Dept. of Math., Beijing Normal Univ., China
pp. 129-133

Specific arithmetics in radices +/-4 (PDF)

T.T. Dao , Nat. Semicond. Corp., Santa Clara, CA, USA
pp. 134-139

Neural nets as models for study of multivalued logic (PDF)

Y.-H. Pao , Center for Autom. & Intelligent Syst. Res., Case Western Reserve Univ., Cleveland, OH, USA
pp. 142

A fuzzy logic approach to the management of linguistically expressed uncertainty (PDF)

R. Lopez de Mantaras , Centre d'Estudis Avancats de Blanes, Girona, Spain
P. Meseguer , Centre d'Estudis Avancats de Blanes, Girona, Spain
pp. 144-151

On the optimization of rules in knowledge base systems (PDF)

C. Janikow , Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
pp. 152-156

A new approach to connective generation in the framework of expert systems using fuzzy logic (PDF)

L. Godo , Center d'Estudis Avancats de Blanes, Girona, Spain
C. Sierra , Center d'Estudis Avancats de Blanes, Girona, Spain
pp. 157-162

Two decades of multiple-valued logic - An invited tutorial (PDF)

S.L. Hurst , Fac. of Technol., Open Univ., Milton Keynes, UK
pp. 164-175

Three-valued Karnaugh maps (PDF)

M. Bahraini , Dept. of Comput. Sci., North Carolina Univ., Charlotte, NC, USA
G. Epstein , Dept. of Comput. Sci., North Carolina Univ., Charlotte, NC, USA
pp. 178-185

Integral calculus for multivalued logic algebra (PDF)

T.A. Giuma , Dept. of Electr. Eng. Florida Univ., Jacksonville, FL, USA
pp. 186-193

Multiple-valued logical functions derived from two-valued input multiple-valued output functions (PDF)

Y. Hata , Dept. of Electron. Eng., Himeji Inst. of Technol., Himeji, Japan
K. Nakashima , Dept. of Electron. Eng., Himeji Inst. of Technol., Himeji, Japan
K. Yamato , Dept. of Electron. Eng., Himeji Inst. of Technol., Himeji, Japan
pp. 194-201

Fuzzy resolution principle (PDF)

Z. Shen , Fac. of Eng., Meigi Univ., Kawasaki, Japan
L. Ding , Fac. of Eng., Meigi Univ., Kawasaki, Japan
M. Mukaidono , Fac. of Eng., Meigi Univ., Kawasaki, Japan
pp. 210-215

Directed search minimization of multiple-valued functions (PDF)

G.W. Dueck , Dept. of Comput. Sci., Manitoba Univ., Winnipeg, Man., Canada
pp. 218-225

Prospects of multiple-valued bio-information processing systems (PDF)

M. Kameyama , Dept. of Electron. Eng., Tohoku Univ., Sendai, Japan
T. Higuchi , Dept. of Electron. Eng., Tohoku Univ., Sendai, Japan
pp. 237-242

On Zadeh's method for interpreting linguistically quantified proposition (PDF)

M. Ying , Dept. of Math., Fuzhou Teacher's Coll., China
pp. 248-252

Algebraic aspects of multiple-valued logic (PDF)

I.G. Rosenberg , Dept. of Math. & Stat., Montreal Univ., Que., Canada
pp. 266-276

Representation of symmetric algebras and its subvarieties (PDF)

P. Garcia , Univ. Politecnica de Catalunya, Barcelona, Spain
pp. 277-284

On spectra of many-valued logic symmetric functions (PDF)

I. Stojmenovic , Inst. of Math., Novi Sad Univ., Yugoslavia
pp. 285-292

Quaternary logic for carry-lookahead binary addition (PDF)

M.A. Manzoul , Dept. of Electr. Eng., Southern Illinois Univ., Carbondale, IL, USA
A. Bommireddy , Dept. of Electr. Eng., Southern Illinois Univ., Carbondale, IL, USA
pp. 294-299

Design of a highly parallel AI processor using new multiple-valued MOS devices (PDF)

T. Hanyu , Dept. of Electron. Eng., Tohoku Univ., Sendai, Japan
T. Higuchi , Dept. of Electron. Eng., Tohoku Univ., Sendai, Japan
pp. 300-306

Ternary CMOS sequential circuits (PDF)

X. Wu , Dept. of Phys., Hangzhou Univ., China
pp. 307-313

Pseudo-random testing of CMOS ternary logic circuits (PDF)

C. Rozon , Dept. of Electr. Eng., R. Mil. Coll. of Canada, Kingston, Ont., Canada
pp. 316-320

Decisive differences and partial differences for stuck-at fault detection in MVL circuits (PDF)

M. Whitney , Dept. of Comput. Sci., Victoria Univ., BC, Canada
J. Nuzio , Dept. of Comput. Sci., Victoria Univ., BC, Canada
pp. 321-328

Three-valued system diagnosis and parallel recovery (Abstract)

J. Xu , Dept. of Comput., Chongqing Univ., China
T. Chen , Dept. of Comput., Chongqing Univ., China
S. Huang , Dept. of Comput., Chongqing Univ., China
pp. 329-335

Ambiguity decision tables and P-ternary logic functions (PDF)

Y. Yamamoto , Fac. of Econ., Takasaki City Univ., of Econ., Takahashi, Japan
pp. 338-345

The use of fuzzy reasoning in intelligent computer aided instructional systems (PDF)

J. Liu , Dept. of Electr. Eng., McGill Univ., Montreal, Que., Canada
pp. 346-351

Ranking linguistic outcomes under fuzziness and randomness (PDF)

M. Delgado , Dept. de Ciencias de la Computacion e Inteligencia Artificial, Granada Univ., Spain
J.L. Verdegay , Dept. de Ciencias de la Computacion e Inteligencia Artificial, Granada Univ., Spain
M.A. Vila , Dept. de Ciencias de la Computacion e Inteligencia Artificial, Granada Univ., Spain
pp. 352-356

A CMOS ternary ROM chip (PDF)

Y.H. Cho , Dept. of Electr. Eng., Queen's Univ., Kingston, Ont., Canada
H.T. Mouftah , Dept. of Electr. Eng., Queen's Univ., Kingston, Ont., Canada
pp. 358-363

MCD-to-m-valued and m-valued-to-MCD converters (PDF)

H. Lu , Dept. of Comput. & Inf. Sci., Oklahoma State Univ., Stillwater, OK, USA
pp. 364-370

Multi-valued processors using solitons (PDF)

S. Minkara , Dept. of Electr. Eng., Maryland Univ., College Park, MD, USA
pp. 371-373

B-ternary logic and evaluation of binary logic programs (PDF)

Z. Huang , Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA
D.C. Rine , Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA
pp. 376-380

On NPN logic (PDF)

W.-R. Zhang , Dept. of Comput. Sci., North Carolina Univ., Charlotte, NC, USA
S.-S. Chen , Dept. of Comput. Sci., North Carolina Univ., Charlotte, NC, USA
K.-H. Chen , Dept. of Comput. Sci., North Carolina Univ., Charlotte, NC, USA
M. Zhang , Dept. of Comput. Sci., North Carolina Univ., Charlotte, NC, USA
pp. 381-388

Abstract characterization of a four-valued logic (PDF)

J.M. Font , Fac. of Math., Barcelona Univ., Spain
V. Verdu , Fac. of Math., Barcelona Univ., Spain
pp. 389-396

Almost orthogonal functions (PDF)

G. Epstein , North Carolina Univ., Charlotte, NC, USA
pp. 405-411

Polynomial Fourier transforms (PDF)

Z. Gongli , Dept. of Inf. Eng., Northwest Telecommun. Eng. Inst., Xi'an, China
pp. 412-419
91 ms
(Ver 3.3 (11022016))