in this paper, the notion of fuzzy semicompactness degrees isintroduced in $l$-fuzzy topological spaces by means of theimplication operation of $l$. characterizations of fuzzysemicompactness degrees in $l$-fuzzy topological spaces  areobtained, and some properties of fuzzy semicompactness degrees areresearched.

In this paper, we firstly show that the $N$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $N$-dual operation. As a dual result, the $N$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...

in this paper, we firstly show that the $n$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $n$-dual operation. as a dual result, the $n$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...

Mittelstaedt has defined the class of quasi-implicative lattices and shown that an ortholattice (orthocomplemented lattice) is quasi-implicative exactly if it is orthomodular (quasi-modular). He has also shown that the quasi-implication operation is uniquely determined by the quasi-implicative conditions. One of Mittelstaedt's conditions, however, seems to lack immediate intuitive motivation. C...

A sectionally pseudocomplemented poset P is one which has the top element and in which every principal order filter is a pseudocomplemented poset. The sectional pseudocomplements give rise to an implication-like operation on P which coincides with the relative pseudocomplementation if P is relatively psudocomplemented. We characterise this operation and study some elementary properties of upper...

A sectionally pseudocomplemented poset P is one which has the top element and in which every principal order filter is a pseudocomplemented poset. The sectional pseudocomplements give rise to an implication-like operation on P which coincides with the relative pseudocomplementation if P is relatively psudocomplemented. We characterise this operation and study some elementary properties of upper...

Approximate reasoning is one of the most effective fuzzy systems. The compositional rule of inference founded on the logical law modus ponens is furnished with a true conclusion, provided that the premises of the rule are true as well. Even though there exist different approaches to an implication, being the crucial part of the rule, we modify the early implication proposed by Zadeh [1] in our ...

Professor Rasiowa [HR49] considers implication algebras (A,⇒, V ) such that ⇒ is a binary operation on the universe A and V ∈ A. In particular, there are studied implicative algebras, positive implication algebras and implication algebras; the second kind corresponds to the logic of positive implication, and the third one to the logic of classical implication. In each case, the distinguished el...

In this work we reconsider the notion of implicator in a complete lattice L and discuss its properties, taking into account the viewpoint of the implication operation of classes of (weak) extended-order algebras, introduced by C. Guido and P. Toto and included in the class of implicative algebras considered by E. Rasiowa. In fact, such an implication, that is an extension of an order relation, ...

Abstracting from certain properties of the implication operation in Boolean algebras leads to so-called orthoimplication algebras. These are in a natural one-to-one correspondence with families of compatible orthomodular lattices. It is proved that congruence kernels of orthoimplication algebras are in a natural one-to-one correspondence with families of compatible p-filters on the correspondin...