Page 1

Displaying 1 – 4 of 4

Showing per page

Representation of logic formulas by normal forms

Martina Daňková (2002)

Kybernetika

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.

Residual implications and co-implications from idempotent uninorms

Daniel Ruiz, Joan Torrens (2004)

Kybernetika

This paper is devoted to the study of implication (and co-implication) functions defined from idempotent uninorms. The expression of these implications, a list of their properties, as well as some particular cases are studied. It is also characterized when these implications satisfy some additional properties specially interesting in the framework of implication functions, like contrapositive symmetry and the exchange principle.

Currently displaying 1 – 4 of 4

Page 1