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
Motivated by some alternatives to the classical logical model of boolean algebra, this paper deals w...
This paper investigates connections between algebraic structures that are common in theoretical comp...
In our previous paper [1] we introduced the concept of a basic algebra, this being an algebra (A,⊕,¬...
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...
Implication algebras, originally introduced in order to study algebraic properties of the implicatio...
We study some properties of directoids and their expansions by additional signature, including bound...
summary:We investigate $\sqcap$-directoids which are bounded and equipped by a unary operation which...
summary:Directoids as a generalization of semilattices were introduced by J. Je\v{z}ek and R. Quac...
Abstract. We modify the definition of difference algebra given by J. Meng to obtain a structure whic...
summary:The concept of relative pseudocomplement is introduced in a commutative directoid. It is sho...
It is a well known fact that Boolean algebras can be defined using only implication and a constant. ...
AbstractAbstracting from certain properties of the implication operation in Boolean algebras leads t...
In a paper published in 2012, the second author extended the well-known fact that Boolean algebras c...
summary:The concept of a relatively pseudocomplemented directoid was introduced recently by the firs...
Motivated by some alternatives to the classical logical model of boolean algebra, this paper deals w...
This paper investigates connections between algebraic structures that are common in theoretical comp...
In our previous paper [1] we introduced the concept of a basic algebra, this being an algebra (A,⊕,¬...
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...
Implication algebras, originally introduced in order to study algebraic properties of the implicatio...
We study some properties of directoids and their expansions by additional signature, including bound...
summary:We investigate $\sqcap$-directoids which are bounded and equipped by a unary operation which...
summary:Directoids as a generalization of semilattices were introduced by J. Je\v{z}ek and R. Quac...
Abstract. We modify the definition of difference algebra given by J. Meng to obtain a structure whic...
summary:The concept of relative pseudocomplement is introduced in a commutative directoid. It is sho...
It is a well known fact that Boolean algebras can be defined using only implication and a constant. ...
AbstractAbstracting from certain properties of the implication operation in Boolean algebras leads t...
In a paper published in 2012, the second author extended the well-known fact that Boolean algebras c...
summary:The concept of a relatively pseudocomplemented directoid was introduced recently by the firs...
Motivated by some alternatives to the classical logical model of boolean algebra, this paper deals w...
This paper investigates connections between algebraic structures that are common in theoretical comp...
In our previous paper [1] we introduced the concept of a basic algebra, this being an algebra (A,⊕,¬...