| Title:
|
Representation of logic formulas by normal forms (English) |
| Author:
|
Daňková, Martina |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
38 |
| Issue:
|
6 |
| Year:
|
2002 |
| Pages:
|
[717]-728 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
In this paper, we deal with the disjunctive and conjunctive normal forms in the frame of predicate BL-logic and prove theirs conditional equivalence to appropriate formulas. Our aim is to show approximation ability of special normal forms defined by means of reflexive binary predicate. (English) |
| Keyword:
|
BL-logic |
| Keyword:
|
extensionality |
| MSC:
|
03B50 |
| MSC:
|
03B52 |
| idZBL:
|
Zbl 1265.03013 |
| idMR:
|
MR1954393 |
| . |
| Date available:
|
2009-09-24T19:50:06Z |
| Last updated:
|
2015-03-26 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/135498 |
| . |
| Reference:
|
[1] Cignoli R., d’Ottaviano I. M. L., Mundici D.: Algebraic Foundations of Many–valued Reasoning.Kluwer, Dordrecht 2000 Zbl 0937.06009, MR 1786097 |
| Reference:
|
[2] Hájek P.: Metamathematics of Fuzzy Logic.Kluwer, Dordrecht 1998 Zbl 1007.03022, MR 1900263 |
| Reference:
|
[3] Kreinovich V., Nguyen H. T., Sprecher D. A.: Normal forms for fuzzy logic – an application of Kolmogorov’s theorem.Internat. J. Uncertainty, Fuzzy Knowledge-Based Systems 4 (1996), 331–349 Zbl 1232.03018, MR 1414352, 10.1142/S0218488596000196 |
| Reference:
|
[4] Daňková M.: Extensionality and continuity of fuzzy relations.J. Electrical Engineering 51 (2000), (12/s), 33–35 Zbl 0972.03541 |
| Reference:
|
[5] Novák V., Perfilieva, I., Močkoř J.: Mathematical Principles of Fuzzy Logic.Kluwer, Boston – Dordrecht 1999 Zbl 0940.03028 |
| Reference:
|
[6] Perfilieva I.: Fuzzy logic normal forms for control law representation.In: Fuzzy Algorithms for Control (H. Verbruggen, H.-J. Zimmermann, and R. Babuska, eds.), Kluwer, Boston – Dordrecht 1999, pp. 111–125 |
| Reference:
|
[7] Perfilieva I.: Normal forms for fuzzy logic functions and their approximation ability.Fuzzy Sets and Systems, submitted Zbl 0994.03019 |
| Reference:
|
[8] Perfilieva I.: Logical approximation.Fuzzy Sets and Systems, submitted Zbl 1029.03503 |
| . |
