Remark on intuitionistic fuzzy logic and intuitionistic logic.
It is shown that the axioms of the intuitionistic logic can be proved as theorems in the frames of the intuitionistic fuzzy logic.
Representation of logic formulas by normal forms
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.
Representation of observables in quantum mechanical models
Representation of uni-nullnorms and null-uninorms on bounded lattices
In this paper, we present the representation for uni-nullnorms with disjunctive underlying uninorms on bounded lattices. It is shown that our method can cover the representation of nullnorms on bounded lattices and some of existing construction methods for uni-nullnorms on bounded lattices. Illustrative examples are presented simultaneously. In addition, the representation of null-uninorms with conjunctive underlying uninorms on bounded lattices is obtained dually.
Residual implications and co-implications from idempotent uninorms
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.