Representation of logic formulas by normal forms
Martina Daňková · Czech digital mathematics library · 2002
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.