Geodesic
Representation of logic formulas by normal forms
Kybernetika, Tome 38 (2002) no. 6, pp. 717-728

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR Zbl
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.
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.
Classification : 03B50, 03B52
Keywords: BL-logic; extensionality 
Daňková, Martina. Representation of logic formulas by normal forms. Kybernetika, Tome 38 (2002) no. 6, pp. 717-728. http://geodesic.mathdoc.fr/item/KYB_2002_38_6_a3/
@article{KYB_2002_38_6_a3,
     author = {Da\v{n}kov\'a, Martina},
     title = {Representation of logic formulas by normal forms},
     journal = {Kybernetika},
     pages = {717--728},
     year = {2002},
     volume = {38},
     number = {6},
     mrnumber = {1954393},
     zbl = {1265.03013},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_2002_38_6_a3/}
}
TY  - JOUR
AU  - Daňková, Martina
TI  - Representation of logic formulas by normal forms
JO  - Kybernetika
PY  - 2002
SP  - 717
EP  - 728
VL  - 38
IS  - 6
UR  - http://geodesic.mathdoc.fr/item/KYB_2002_38_6_a3/
LA  - en
ID  - KYB_2002_38_6_a3
ER  - 
%0 Journal Article
%A Daňková, Martina
%T Representation of logic formulas by normal forms
%J Kybernetika
%D 2002
%P 717-728
%V 38
%N 6
%U http://geodesic.mathdoc.fr/item/KYB_2002_38_6_a3/
%G en
%F KYB_2002_38_6_a3

[1] Cignoli R., d’Ottaviano I. M. L., Mundici D.: Algebraic Foundations of Many–valued Reasoning. Kluwer, Dordrecht 2000 | MR | Zbl

[2] Hájek P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht 1998 | MR | Zbl

[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 | DOI | MR | Zbl

[4] Daňková M.: Extensionality and continuity of fuzzy relations. J. Electrical Engineering 51 (2000), (12/s), 33–35 | Zbl

[5] Novák V., Perfilieva, I., Močkoř J.: Mathematical Principles of Fuzzy Logic. Kluwer, Boston – Dordrecht 1999 | Zbl

[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

[7] Perfilieva I.: Normal forms for fuzzy logic functions and their approximation ability. Fuzzy Sets and Systems, submitted | Zbl

[8] Perfilieva I.: Logical approximation. Fuzzy Sets and Systems, submitted | Zbl