Add to ORKGsummary:It is shown that every directoid equipped with sectionally switching mappings can be represented as a certain implication algebra. Moreover, if the directoid is also commutative, the corresponding implication algebra is defined by four simple identities
AbstractPrimoids and duoids are collections of subsets of a fixed finite set with a natural generali...
It is a well known fact that Boolean algebras can be defined using only implication and a constant. ...
31 pagesIn this article we use semigroupoids to describe a notion of algebraic bundles, mostly motiv...
summary:It is shown that every directoid equipped with sectionally switching mappings can be represe...
summary:It is well-known that every MV-algebra is a distributive lattice with respect to the induced...
summary:Directoids as a generalization of semilattices were introduced by J. Je\v{z}ek and R. Quac...
We study some properties of directoids and their expansions by additional signature, including bound...
Implication algebras, originally introduced in order to study algebraic properties of the implicatio...
Abstract. Directoids as a generalization of semilattices were introduced by J. Ježek and R. Quacken...
summary:We continue the study of directoid groups, directed abelian groups equipped with an extra bi...
summary:The concept of relative pseudocomplement is introduced in a commutative directoid. It is sho...
Abstract. We modify the definition of difference algebra given by J. Meng to obtain a structure whic...
summary:The concept of a relatively pseudocomplemented directoid was introduced recently by the firs...
summary:We investigate $\sqcap$-directoids which are bounded and equipped by a unary operation which...
In 2012, the second author introduced and studied in Sankappanavar (Sci Math Jpn 75(1):21–50, 2012) ...
AbstractPrimoids and duoids are collections of subsets of a fixed finite set with a natural generali...
It is a well known fact that Boolean algebras can be defined using only implication and a constant. ...
31 pagesIn this article we use semigroupoids to describe a notion of algebraic bundles, mostly motiv...
summary:It is shown that every directoid equipped with sectionally switching mappings can be represe...
summary:It is well-known that every MV-algebra is a distributive lattice with respect to the induced...
summary:Directoids as a generalization of semilattices were introduced by J. Je\v{z}ek and R. Quac...
We study some properties of directoids and their expansions by additional signature, including bound...
Implication algebras, originally introduced in order to study algebraic properties of the implicatio...
Abstract. Directoids as a generalization of semilattices were introduced by J. Ježek and R. Quacken...
summary:We continue the study of directoid groups, directed abelian groups equipped with an extra bi...
summary:The concept of relative pseudocomplement is introduced in a commutative directoid. It is sho...
Abstract. We modify the definition of difference algebra given by J. Meng to obtain a structure whic...
summary:The concept of a relatively pseudocomplemented directoid was introduced recently by the firs...
summary:We investigate $\sqcap$-directoids which are bounded and equipped by a unary operation which...
In 2012, the second author introduced and studied in Sankappanavar (Sci Math Jpn 75(1):21–50, 2012) ...
AbstractPrimoids and duoids are collections of subsets of a fixed finite set with a natural generali...
It is a well known fact that Boolean algebras can be defined using only implication and a constant. ...
31 pagesIn this article we use semigroupoids to describe a notion of algebraic bundles, mostly motiv...