Proceedings of the twenty-first International Symposium on Multiple-Valued Logic May 26 - 29, 1991, Victoria, B.C., Canada
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Los Alamitos [u.a.]
IEEE Computer Soc. Press
1991
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005914581 | ||
| 003 | DE-604 | ||
| 005 | 20110831 | ||
| 007 | t | ||
| 008 | 930108s1991 ad|| |||| 10||| engod | ||
| 020 | |a 0818621451 |9 0-8186-2145-1 | ||
| 020 | |a 0818661453 |9 0-8186-6145-3 | ||
| 020 | |a 081869145X |9 0-8186-9145-X | ||
| 035 | |a (OCoLC)26260898 | ||
| 035 | |a (DE-599)BVBBV005914581 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-83 |a DE-739 |a DE-706 | ||
| 050 | 0 | |a QA276 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a SS 1991 |0 (DE-625)143428: |2 rvk | ||
| 084 | |a ELT 459f |2 stub | ||
| 111 | 2 | |a International Symposium on Multiple Valued Logic |n 21 |d 1991 |c Victoria, British Columbia |j Verfasser |0 (DE-588)5058320-7 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the twenty-first International Symposium on Multiple-Valued Logic |b May 26 - 29, 1991, Victoria, B.C., Canada |
| 264 | 1 | |a Los Alamitos [u.a.] |b IEEE Computer Soc. Press |c 1991 | |
| 300 | |a XI, 383 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Logique du seuil - Congrès | |
| 650 | 4 | |a Logique multivalente - Congrès | |
| 650 | 4 | |a Théorie de la commutation - Congrès | |
| 650 | 4 | |a Many-valued logic |v Congresses | |
| 650 | 4 | |a Switching theory |v Congresses | |
| 650 | 4 | |a Threshold logic |v Congresses | |
| 650 | 0 | 7 | |a Mehrwertige Logik |0 (DE-588)4169335-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z Victoria British Columbia |2 gnd-content | |
| 689 | 0 | 0 | |a Mehrwertige Logik |0 (DE-588)4169335-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003703472&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003703472 | ||
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0001/92 B 766 0102/ELT 456f 2001 B 1154-1991 |
|---|---|
| DE-BY-TUM_katkey | 574257 |
| DE-BY-TUM_local_keycode | ko |
| DE-BY-TUM_media_number | 040001951306 040020316829 |
| _version_ | 1816711610912210944 |
| adam_text | Table
of Contents
Symposium
Chaiťs
Message
....................................
v
Program Chaiťs
Message
......................................
vi
Message from the Chair of the Technical Committee
......................
.vii
Referees
..............................................viii
SESSIONI:
Invited Address
Reasoning About Digital Systems
..................................2
A.S. Wojcik
SESSION
Па:
Applications I
Design of a Set Logic Network Based on Frequency Multiplexing
and Its Applications to Image Processing
.............................8
Y. Yuminaka, T. Aoki, and T. Higuchi
A Multiple-Valued Logic Array VLSI Based on Two-Transistor Delta Literal
Circuit and Its Application to
Real-Time
Reasoning Systems
..................16
T. Hanyu, Y.
Kojima,
and T. Higuchi
A Floating-Gate-MOS-Based Multiple-Valued Associative
Memory
..............................................24
T. Hanyu and T. Higuchi
Application of Multi-Zero Artificial Neural Network to the Design of an
M-Valued Digital Multiplier
....................................32
C.-L. J.
Ни
SESSION
ПЬ:
Logic
Multiple-Valued Generalized Reed-Muller Forms
........................40
/. Schäfer
and
M
Л.
Perkowski
A Non-Commutative Multiple-Valued Logic
...........................49
RJ. Bignall
On the Complexity of Enumerations for Multiple-Valued Kleenean Functions
and Unate Functions
........................................55
Y.
Hata,
M.
Yuhara,
F.
Miyawaki, and K. Yamato
Fundamental Properties of Kleene-Stone Logic Functions
....................63
N.
Takagi andM. Mukaidono
SESSION
Ша:
Fuzzy Logic
A Formal Semantical Approach to Fuzzy Logic
..........................72
L.
Godo,
F.
Esteva,
P. Garcia, and
J. Agusti-Cullell
Topological Soft Algebra for the SS-Modal Fuzzy Logic
.....................80
A. Nakamura
Recognition of Circle Form Using Fuzzy Sequential System
...................85
T. Watanabe andM.Matsumoto
SESSION
ШЬ:
Symmetric Functions/Error Correction
Worst Case Number of Terms in Symmetric Multiple-Valued Functions
............94
J.T. Butler and
К
A Schueller
Quaternary Cyclic AN Codes for Burst Error Correction
....................102
Y. Okura, R. Shimada, and T. Hasegawa
On the Maximum Size of the Teims in the Realization of Symmetric Functions
.......110
R. Tosic, I. Stojmenovic, andM. Miyakawa
IX
SESSION
IV: Invited Address
VLSI Fuzzy Chip and Inference Accelerator Board Systems
..................120
H. Watanabe, J.R. Symon, W.D. Dettloff, and K.E. Yount
SESSION
Va:
Cost Tables
The Design of Current Mode CMOS Multiple-Valued Circuits
.................130
Y.-H. Chang andJ.T. Butler
Synthesis of Current-Mode Pass Transistor Networks
......................139
O. Ishizuka, H. Takarabe, Z. Tang, and H. Matsumoto
On the Synthesis of
4-
Valued Current Mode CMOS Circuits
..................147
K. Lei and Z.G. Vranesic
SESSION Vb: Testability/Bio-Computing
Testability Analysis of CMOS Ternary Circuits
.........................158
С
Rozon and H.T. Mouftah
On the Implementation of Set-Valued Non-Boolean Switching Functions
...........166
С
Reischer and DA. Simovici
Design of Interconnection-Free Biomolecular Computing System
...............173
T. Aoki, M. Kameyama, and T. Higuchi
SESSION VI: Invited Address
A Decade of Spectral Techniques
.................................182
C.
Moraga
SESSION Vila: Circuits
Multiple Peak Resonant Tunneling Diode for
Multi-
Valued Memory
.............190
S.-J. Wei and H.C.Lin
A Bi-Directional Current-Mode CMOS Multiple-Valued Logic Memory Circuit
.......196
K.W. Current andM.E. Hurlston
Proposed CMOS VLSI Implementation of an Electronic Neuron Using Multivalued
Signal Processing
.........................................203
В
A. Taheri
Theory of Grounded Current Switches and Quaternary IIL Circuits
..............210
X.Wu and X.Deng
SESSION Vnb: Reasoning
The Abnormality Predicate
....................................218
E.
Neufeld
Undecidability in the Completion of Truth-Function Logic
...................225
F J.
Wroblewski
Improving Tableau Deductions in Multiple-Valued Logics
...................230
N.V. Murray and E.
Rosenthal
Uniform Notation of Tableau Rules for Multiple-Valued Logics
................238
R. Hahnle
SESSION
ТПа:
Algebra
Theory and Uses of Post Algebras of Order
ож»*.
Partii...................
248
G.
Epstein and
H.
Rasiowa
NPN Calculi: A Family of Three Strict
Q-
Algebras
.......................255
W.-R. Zhang
A Note on Minimal Partial Clones
................................262
F. Borner,
L.
Haddad, and R. Poschel
SESSION Vmb:
Function Minimization
A Transformation
of Multiple-Valued Input Two-Valued Output Functions and
its Application to Simplification of Exclusive-or Sum-of-Products Expressions
.......270
T. Sasao
On the Maximum Number of
Implicante
Needed to Cover a Multiple-Valued
Logic Function Using Window Literals
.............................280
G.W. Dueck and G.HJ. van
Rees
Parallel Algorithms for Minimizing Multiple-Valued Programmable Logic Arrays
......287
P.P. Tirumalai and V.G. Vadakkencherry
SESSION IX: Invited Address
Post Relation Algebras and Their Proof System
.........................298
E. Orlowska
SESSION Xa: Expert Systems
An Equational Logic Approach for Mapping Multiple-Valued Rule-Based
Expert Systems into Hardware Specification Rules
.......................308
D.C. Rine
A General-Purpose Inference Processor for Real-Time Intelligent Controllers
Using Systolic Arrays
......................................316
C.
Lucas, I.B.
Turksen, andK.C. Smith
An Algorithm for the Solution of Multi-Valued Logic Programming
..............322
Y. Tsuchiya
SESSION Xb: Spectral Techniques/Number Systems
Multiple-Valued Current-Mode Arithmetic Circuits Based on Redundant
Positive-Digit Number Representations
.............................330
S. Kawahito, K. Mizuno, and T. Nakamura
Spectral Techniques for Multiple-Valued Logic Circuits
....................340
T. R.
Damarla
and
F. Hossain
SESSION XIa: Fuzzy Logic Hardware
Optimization of Fuzzy Logic Implementation
..........................348
T.-C. Chiueh
A Fuzzy Logic Function Generator
(FLUG)
Implemented with Current Mode
CMOS Circuits
..........................................356
M. Sasaki and F. Ueno
SESSION Xlb: Programmable Logic
An Investigation into the Implementation Costs of Residue
and High Radix Arithmetic
....................................364
С
Yang, H.-C.
Lu,
and
D E.
Gilbert
A Comparative Study of Programmable Realization Techniques
of Multi-Valued Multi-Threshold Functions
..........................372
MM. Abd-El-Barr, H. Choy, A.K. Jain, and RJ.
Bolton
Author Index
...........................................383
X]
Author Index
Abd-El-Barr, M.H
................372
Agusti-Cullell,
J
.................72
Aoki,
T
....................8,173
BignaU.RJ
....................49
Bolton,
RJ...................
372
Bomer, F
....................262
Butler.J.T
..................94,130
Chang, Y.-H
...................130
Chiueh, T.-C
..................348
Choy,
H
.....................372
Current, K.W
..................196
Damarla,
TR..................340
Deng, X
.....................210
Dettloff, W.D
..................120
Dueck, G.W
...................280
Epstein,
G
.....................248
Esteva,
F
.....................72
Garcia,
P
.....................72
Gilbert, DM
...................364
Godo.L
.....................72
Haddad,L
....................262
Hahnle,
R
....................238
Hanyu,
T
....................16,24
Hasegawa,
T
..................102
Hata,
Y
......................55
Higuchi.T
................8,16,24,173
Hossain,
F....................
340
Hu, C.-L
.....................32
Huriston, MB..................196
Ishizuka,
0...................
139
Jain, A.K
....................372
Kameyama,
M
.................,173
Kawahito,
S
...................330
Kojima,
Y
.....................16
Lei,K
......................147
lin, H.C
.....................190
Lu, H.-C
....................364
Lucas,
С
....................316
Matsumoto, H
..................139
Matsumoto, M
..................85
Miyakawa, M.
.................110
Miyawaki, F
...................55
Mizuno.K
....................330
Moraga,
С....................
182
Mouftah, H.T
..................158
Mukaidono, M
..................63
Murray, N.V
..................230
Nakamura, A
...................80
Nakamura,
T
..................330
Neufeld.E
....................218
Okura, Y
....................102
Orlowska,
E
...................298
Perkowski, M.A
..................40
Poschel.R
....................262
Rasiowa,
H...................
248
Reischer,
С...................
166
Rine, D.C
....................308
Rosenthal,
E
...................230
Rozón,
С
....................158
Sasaki,
M
....................356
Sasao,
T
.....................270
Schafer,
1
.....................40
SchueUer, K.A
..................94
Shimada,
R
...................102
Simovici, D.A
..................166
Smith, K.C
...................316
Stojmenovic, 1
..................110
Symon, J.R
...................120
Taheri, B.A
...................203
Takagi.N
.....................63
Takarabe,
H
...................139
Tang, Z
.....................139
Tirumalai, P.P
..................287
Tosic.R
.....................110
Tsuchiya,
Y
...................322
Turksen.I.B
...................316
Ueno,
F
.....................356
Vadakkencherry, V.G
..............287
van
Rees, G.HJ
.................280
Vranesic, Z.G
..................147
Watanabe.H
..................120
Watanabe,
T
...................85
Wei, S.-J
....................190
Wojcik, A.S
....................2
Wroblewski.FJ
.................225
Wu, X
......................210
Yamato,
К
....................55
Yang,
С
.....................364
Yount, K£
...................120
Yuhara,
M
....................55
Yuminaka,
Y
...................8
Zhang, W.-R
..................255
383
|
| any_adam_object | 1 |
| author_corporate | International Symposium on Multiple Valued Logic Victoria, British Columbia |
| author_corporate_role | aut |
| author_facet | International Symposium on Multiple Valued Logic Victoria, British Columbia |
| author_sort | International Symposium on Multiple Valued Logic Victoria, British Columbia |
| building | Verbundindex |
| bvnumber | BV005914581 |
| callnumber-first | Q - Science |
| callnumber-label | QA276 |
| callnumber-raw | QA276 |
| callnumber-search | QA276 |
| callnumber-sort | QA 3276 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 SS 1991 |
| classification_tum | ELT 459f |
| ctrlnum | (OCoLC)26260898 (DE-599)BVBBV005914581 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Elektrotechnik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01985nam a2200481 c 4500</leader><controlfield tag="001">BV005914581</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110831 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930108s1991 ad|| |||| 10||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818621451</subfield><subfield code="9">0-8186-2145-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818661453</subfield><subfield code="9">0-8186-6145-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">081869145X</subfield><subfield code="9">0-8186-9145-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)26260898</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005914581</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA276</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1991</subfield><subfield code="0">(DE-625)143428:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ELT 459f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Symposium on Multiple Valued Logic</subfield><subfield code="n">21</subfield><subfield code="d">1991</subfield><subfield code="c">Victoria, British Columbia</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5058320-7</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the twenty-first International Symposium on Multiple-Valued Logic</subfield><subfield code="b">May 26 - 29, 1991, Victoria, B.C., Canada</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos [u.a.]</subfield><subfield code="b">IEEE Computer Soc. Press</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 383 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique du seuil - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique multivalente - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Théorie de la commutation - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Many-valued logic</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Switching theory</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Threshold logic</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mehrwertige Logik</subfield><subfield code="0">(DE-588)4169335-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1991</subfield><subfield code="z">Victoria British Columbia</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mehrwertige Logik</subfield><subfield code="0">(DE-588)4169335-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003703472&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003703472</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1991 Victoria British Columbia gnd-content |
| genre_facet | Konferenzschrift 1991 Victoria British Columbia |
| id | DE-604.BV005914581 |
| illustrated | Illustrated |
| indexdate | 2024-11-25T17:10:36Z |
| institution | BVB |
| institution_GND | (DE-588)5058320-7 |
| isbn | 0818621451 0818661453 081869145X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003703472 |
| oclc_num | 26260898 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-83 DE-739 DE-706 |
| owner_facet | DE-91 DE-BY-TUM DE-83 DE-739 DE-706 |
| physical | XI, 383 S. Ill., graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | IEEE Computer Soc. Press |
| record_format | marc |
| spellingShingle | Proceedings of the twenty-first International Symposium on Multiple-Valued Logic May 26 - 29, 1991, Victoria, B.C., Canada Logique du seuil - Congrès Logique multivalente - Congrès Théorie de la commutation - Congrès Many-valued logic Congresses Switching theory Congresses Threshold logic Congresses Mehrwertige Logik (DE-588)4169335-8 gnd |
| subject_GND | (DE-588)4169335-8 (DE-588)1071861417 |
| title | Proceedings of the twenty-first International Symposium on Multiple-Valued Logic May 26 - 29, 1991, Victoria, B.C., Canada |
| title_auth | Proceedings of the twenty-first International Symposium on Multiple-Valued Logic May 26 - 29, 1991, Victoria, B.C., Canada |
| title_exact_search | Proceedings of the twenty-first International Symposium on Multiple-Valued Logic May 26 - 29, 1991, Victoria, B.C., Canada |
| title_full | Proceedings of the twenty-first International Symposium on Multiple-Valued Logic May 26 - 29, 1991, Victoria, B.C., Canada |
| title_fullStr | Proceedings of the twenty-first International Symposium on Multiple-Valued Logic May 26 - 29, 1991, Victoria, B.C., Canada |
| title_full_unstemmed | Proceedings of the twenty-first International Symposium on Multiple-Valued Logic May 26 - 29, 1991, Victoria, B.C., Canada |
| title_short | Proceedings of the twenty-first International Symposium on Multiple-Valued Logic |
| title_sort | proceedings of the twenty first international symposium on multiple valued logic may 26 29 1991 victoria b c canada |
| title_sub | May 26 - 29, 1991, Victoria, B.C., Canada |
| topic | Logique du seuil - Congrès Logique multivalente - Congrès Théorie de la commutation - Congrès Many-valued logic Congresses Switching theory Congresses Threshold logic Congresses Mehrwertige Logik (DE-588)4169335-8 gnd |
| topic_facet | Logique du seuil - Congrès Logique multivalente - Congrès Théorie de la commutation - Congrès Many-valued logic Congresses Switching theory Congresses Threshold logic Congresses Mehrwertige Logik Konferenzschrift 1991 Victoria British Columbia |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003703472&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT internationalsymposiumonmultiplevaluedlogicvictoriabritishcolumbia proceedingsofthetwentyfirstinternationalsymposiumonmultiplevaluedlogicmay26291991victoriabccanada |