Many-Valued Logics 2: Automated Reasoning and Practical Applications

Front Cover
Springer Science & Business Media, Oct 23, 2003 - Computers - 303 pages
0 Reviews
Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume handbook on many valued logics by two leading figures in the field. While the first volume was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and the latest developments in fuzzy logic and rough set theory. Among the applications presented are those in software specification and electronic circuit verification.
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

III
5
IV
12
V
19
VI
31
VII
37
X
41
XI
42
XII
52
XLIV
178
XLV
181
XLVI
183
XLVII
185
XLVIII
189
L
192
LI
194
LII
195

XIII
54
XIV
67
XV
69
XVII
73
XVIII
80
XIX
88
XX
97
XXII
98
XXIII
99
XXIV
100
XXV
102
XXVI
115
XXVII
117
XXVIII
118
XXIX
119
XXX
122
XXXI
129
XXXII
135
XXXIII
137
XXXIV
147
XXXVI
152
XXXVII
158
XXXVIII
162
XXXIX
167
XL
170
XLI
171
XLII
177
LIII
197
LV
202
LVII
205
LVIII
206
LIX
207
LX
209
LXI
216
LXII
223
LXIII
225
LXIV
228
LXV
247
LXVII
248
LXIX
251
LXX
252
LXXI
253
LXXII
256
LXXIII
258
LXXIV
259
LXXV
262
LXXVI
265
LXXVII
266
LXXVIII
269
LXXIX
270
LXXX
272
LXXXI
287
LXXXII
297
Copyright

Common terms and phrases

Popular passages

Page 300 - WA Carnielli. Systematization of finite many-valued logics through the method of tableaux. Journal of Symbolic Logic, 52(2):473-493, 1987. [Carnielli 1991] WA Carnielli. On sequents and tableaux for many-valued logics.
Page v - We hope that the two volumes of the monograph will indeed give the reader an overview of the state of the art...

About the author (2003)

Bolc, Polish Academy of Sciences, Warsaw.

Broowiec, University of Czestochowa, Poland.