Representation of logic formulas by normal forms
Kybernetika (2002)
- Volume: 38, Issue: 6, page [717]-728
- ISSN: 0023-5954
Access Full Article
top
Abstract
topHow to cite
topDaňková, Martina. "Representation of logic formulas by normal forms." Kybernetika 38.6 (2002): [717]-728. <http://eudml.org/doc/33614>.
@article{Daňková2002,
abstract = {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.},
author = {Daňková, Martina},
journal = {Kybernetika},
keywords = {BL-logic; extensionality; BL-logic; extensionality},
language = {eng},
number = {6},
pages = {[717]-728},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Representation of logic formulas by normal forms},
url = {http://eudml.org/doc/33614},
volume = {38},
year = {2002},
}
TY - JOUR
AU - Daňková, Martina
TI - Representation of logic formulas by normal forms
JO - Kybernetika
PY - 2002
PB - Institute of Information Theory and Automation AS CR
VL - 38
IS - 6
SP - [717]
EP - 728
AB - 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.
LA - eng
KW - BL-logic; extensionality; BL-logic; extensionality
UR - http://eudml.org/doc/33614
ER -
References
top- Cignoli R., d’Ottaviano I. M. L., Mundici D., Algebraic Foundations of Many–valued Reasoning, Kluwer, Dordrecht 2000 Zbl0937.06009MR1786097
- Hájek P., Metamathematics of Fuzzy Logic, Kluwer, Dordrecht 1998 Zbl1007.03022MR1900263
- Kreinovich V., Nguyen H. T., Sprecher D. A., 10.1142/S0218488596000196, Internat. J. Uncertainty, Fuzzy Knowledge-Based Systems 4 (1996), 331–349 (1996) Zbl1232.03018MR1414352DOI10.1142/S0218488596000196
- Daňková M., Extensionality and continuity of fuzzy relations, J. Electrical Engineering 51 (2000), (12/s), 33–35 Zbl0972.03541
- Novák V., Perfilieva, I., Močkoř J., Mathematical Principles of Fuzzy Logic, Kluwer, Boston – Dordrecht 1999 Zbl0940.03028
- 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 (1999)
- Perfilieva I., Normal forms for fuzzy logic functions and their approximation ability, Fuzzy Sets and Systems, submitted Zbl0994.03019
- Perfilieva I., Logical approximation, Fuzzy Sets and Systems, submitted Zbl1029.03503
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.