Displaying similar documents to “Comment on and a characterization of the concept of complete residuated lattice.”

Evaluating many valued modus ponens

Dana Hliněná, Vladislav Biba (2012)

Kybernetika

Similarity:

This paper deals with many valued case of modus ponens. Cases with implicative and with clausal rules are studied. Many valued modus ponens via discrete connectives is studied with implicative rules as well as with clausal rules. Some properties of discrete modus ponens operator are given.

Directoids with an antitone involution

Ivan Chajda, Miroslav Kolařík (2007)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We investigate -directoids which are bounded and equipped by a unary operation which is an antitone involution. Hence, a new operation can be introduced via De Morgan laws. Basic properties of these algebras are established. On every such an algebra a ring-like structure can be derived whose axioms are similar to that of a generalized boolean quasiring. We introduce a concept of symmetrical difference and prove its basic properties. Finally, we study conditions of direct decomposability...