BACK to VOLUME 38 NO.6

Kybernetika 38(6):717-728, 2002.

Representation of Logic Formulas by Normal Forms.

Martina Daňková


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.


AMS: 03F;


download full-text.pdf
download abstract.pdf

BIB TeX

@article{kyb:2002:6:717-728,

author = {Da\v{n}kov\'{a}, Martina},

title = {Representation of Logic Formulas by Normal Forms.},

journal = {Kybernetika},

volume = {38},

year = {2002},

number = {6},

pages = {717-728}

publisher = {{\'U}TIA, AV {\v C}R, Prague },

}


BACK to VOLUME 38 NO.6