New approach to characterization of orthomodular lattices by means of special types of bivariable functions is suggested. Under special marginal conditions a bivariable function can operate as, for example, infimum measure, supremum measure or symmetric difference measure for two elements of an orthomodular lattice.
A quasi-implication algebra is introduced as an algebraic counterpart of an implication reduct of propositional logic having non-involutory negation (e.g. intuitionistic logic). We show that every pseudocomplemented semilattice induces a quasi-implication algebra (but not conversely). On the other hand, a more general algebra, a so-called pseudocomplemented q-semilattice is introduced and a mutual correspondence between this algebra and a quasi-implication algebra is shown.
In this paper, we first investigate some properties of the hyper pseudo BCK-algebras. Then we define the concepts of strong and reflexive hyper pseudo BCK-ideals and establish some relationships among them and the other types of hyper pseudo BCK-ideals. Also, we introduce the notion of regular congruence relation on hyper pseudo BCK-algebras and investigate some related properties. By using this relation, we construct the quotient hyper pseudo BCK-algebra and give some related results.
We introduce the notion of weak dually residuated lattice ordered semigroups (WDRL-semigroups) and investigate the relation between -algebras and WDRL-semigroups. We prove that the category of -algebras is equivalent to the category of some bounded WDRL-semigroups. Moreover, the connection between WDRL-semigroups and DRL-semigroups is studied.
In this paper, we study relationships between among (fuzzy) Boolean ideals, (fuzzy) Gödel ideals, (fuzzy) implicative filters and (fuzzy) Boolean filters in BL-algebras. In [9], there is an example which shows that a Gödel ideal may not be a Boolean ideal, we show this example is not true and in the following we prove that the notions of (fuzzy) Gödel ideals and (fuzzy) Boolean ideals in BL-algebras coincide.
We characterise those Hilbert algebras that are relatively pseudocomplemented posets.
The paper shows that commutative Hilbert algebras introduced by Y. B. Jun are just J. C. Abbot’s implication algebras.
Lattice-ordered groups, as well as -algebras (pseudo -algebras), are both particular cases of dually residuated lattice-ordered monoids (-monoids for short). In the paper we study ideals of lower-bounded -monoids including -algebras. Especially, we deal with the connections between ideals of a -monoid and ideals of the lattice reduct of .
In this paper we introduce a special kind of ordered topological spaces, called Hilbert spaces. We prove that the category of Hilbert algebras with semi-homomorphisms is dually equivalent to the category of Hilbert spaces with certain relations. We restrict this result to give a duality for the category of Hilbert algebras with homomorphisms. We apply these results to prove that the lattice of the deductive systems of a Hilbert algebra and the lattice of open subsets of its dual Hilbert space, are...
In this paper we shall give a topological representation for Hilbert algebras that extend the topological representation given by A. Diego in [4]. For implicative semilattices this representation gives a full duality. We shall also consider the representation for Boolean ring.
M. Busaniche, R. Cignoli (2014), C. Tsinakis and A. M. Wille (2006) showed that every residuated lattice induces a residuation on its full twist product. For their construction they used also lattice operations. We generalize this problem to left-residuated groupoids which need not be lattice-ordered. Hence, we cannot use the same construction for the full twist product. We present another appropriate construction which, however, does not preserve commutativity and associativity of multiplication....
This paper represents a start in the study of epimorphisms in some categories of Hilbert algebras. Even if we give a complete characterization for such epimorphisms only for implication algebras, the following results will make possible the construction of some examples of epimorphisms which are not surjective functions. Also, we will show that the study of epimorphisms of Hilbert algebras is equivalent with the study of epimorphisms of Hertz algebras.
States on commutative basic algebras were considered in the literature as generalizations of states on MV-algebras. It was a natural question if states exist also on basic algebras which are not commutative. We answer this question in the positive and give several examples of such basic algebras and their states. We prove elementary properties of states on basic algebras. Moreover, we introduce the concept of a state-morphism and characterize it among states. For basic algebras which are the certain...