Kybernetika 38 no. 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.