- Full text PDF available (17)
- This year (4)
- Last 5 years (9)
- Last 10 years (18)
Journals and Conferences
For given set X of cardinality four, concluded Hue, Saturation and Value in the HSV color space and Mean, respectively, one has determined the table of hyperoperations of Semi-join spaces associated with upper and lower approximation operators of a fuzzy approximation space (XmR), where R is a T -similarity relation on X and T is a continuous triangular… (More)
We have constructed models of how homologous chromosomes come together at meiotic prophase for pairing and recombination. For these models we have calculated how many homology testing events are necessary on average to ensure that each chromosome finds its respective partner. We have identified several conditions that would greatly reduce the effort spent… (More)
Abstracting from certain properties of the implication operation in Boolean algebras leads to so-called orthomodular implication algebras. These are in a natural one-to-one correspondence with families of orthomodular lattices. It is proved that congruence kernels of orthomodular implication algebras are in a natural one-to-one correspondence with families… (More)
The relationship between MV-algebras and semirings was described by A. Di Nola and B. Gerla (). Since commutative basic algebras are similar to MV-algebras up to associativity of the binary operation we try to get a similar relationship between commutative basic algebras and so-called near semirings and we show that this is possible. This means that… (More)
Ring-like operations are introduced in pseudocomplemented semilattices in such a way that in the case of Boolean pseudocomplemented semilattices one obtains the corresponding Boolean ring operations. Properties of these ring-like operations are derived and a characterization of Boolean pseudocomplemented semilattices in terms of these operations is given.… (More)
The aim of this paper is to study cryptographic systems defined as algebras (A,+ α ,+ β , p, s) of type (2, 2, 0, 0) satisfying the axiom (x + α p) + β s = x for all x ∈ A. Some standard and non-standard examples of such systems are given. In particular, we study the systems for which + α = + β = + and p = s where the operation + is the addition operation… (More)
It is shown that in the variety of orthomodular lattices every hypersubstitution respecting all absorption laws either leaves the lattice operations unchanged or interchanges join and meet. Further, in a variety of lattices with an involutory antiautomorphism a semigroup generated by three involutory hypersubstitutions is described.
We investigate some local versions of congruence permutability, regularity, uniformity and modularity. The results are applied to several examples including implication algebras, orthomodular lattices and relative pseudocomplemented lattices.
Motivated by cryptography, permutations induced by polynomial functions on finite lattices L = (L,∨,∧,∗ ) with an antitone involution ∗ are investigated. These permutations together with the operation of composition form a subgroup of the symmetric group on L. We describe the structure of this subgroup for different classes of lattices L and indicate… (More)