Add to ORKGAbstract. A Heyting algebra is a distributive lattice with im-plication and a dual BCK-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras be-tween dual BCK-algebras. We define notions of i-invariant and m-invariant on dual BCK-semilattices and prove that a Heyting semilattice is equivalent to an i-invariant and m-invariant dual BCK-semilattices, and show that a commutative Heyting algebra is equivalent to a bounded implicative dual BCK-algebra. 1
This paper introduces the category of b-frames as a new tool in the study of complete lattices. B-fr...
In this paper, we define the notion of PC-lattice, as a generalization of finite positive implicativ...
Abstract. We introduce pairwise Stone spaces as a natural bitopological generalization of Stone spac...
Dedicated to our friend and colleague Mamuka Jibladze on his 50th birthday Abstract. This paper surv...
Since all the algebras connected to logic have, more or less explicitely, an associated order relati...
Since all the algebras connected to logic have, more or less explicitely, an associated order relati...
V tem seminarskem delu definiramo nekaj osnovnih pojmov univerzalne algebre, kot so algebre, izrazi ...
Abstract: Since all the algebras connected to logic have, more or less explicitely, an associated or...
ABSTRACT. The purpose of this paper is to define and investigate a new (equational) class of algebra...
Abstract. In this paper we introduce the notion of generalized implication for lattices, as a binary...
A dual BCK-algebra, or BCK*-algebra is a poset (A,≤) having the greatest element 1 and considered to...
A Heyting algebra is not only a lattice theoretic object, but is also related to the intruitiontic l...
Given a Heyting algebra A, we say that an element a ∈ A is enriched (in A) by an element b ∈ A if th...
This paper introduces the category of b-frames as a new tool in the study of complete lattices. B-fr...
Abstract. We introduce pairwise Stone spaces as a natural bitopological generalization of Stone spac...
This paper introduces the category of b-frames as a new tool in the study of complete lattices. B-fr...
In this paper, we define the notion of PC-lattice, as a generalization of finite positive implicativ...
Abstract. We introduce pairwise Stone spaces as a natural bitopological generalization of Stone spac...
Dedicated to our friend and colleague Mamuka Jibladze on his 50th birthday Abstract. This paper surv...
Since all the algebras connected to logic have, more or less explicitely, an associated order relati...
Since all the algebras connected to logic have, more or less explicitely, an associated order relati...
V tem seminarskem delu definiramo nekaj osnovnih pojmov univerzalne algebre, kot so algebre, izrazi ...
Abstract: Since all the algebras connected to logic have, more or less explicitely, an associated or...
ABSTRACT. The purpose of this paper is to define and investigate a new (equational) class of algebra...
Abstract. In this paper we introduce the notion of generalized implication for lattices, as a binary...
A dual BCK-algebra, or BCK*-algebra is a poset (A,≤) having the greatest element 1 and considered to...
A Heyting algebra is not only a lattice theoretic object, but is also related to the intruitiontic l...
Given a Heyting algebra A, we say that an element a ∈ A is enriched (in A) by an element b ∈ A if th...
This paper introduces the category of b-frames as a new tool in the study of complete lattices. B-fr...
Abstract. We introduce pairwise Stone spaces as a natural bitopological generalization of Stone spac...
This paper introduces the category of b-frames as a new tool in the study of complete lattices. B-fr...
In this paper, we define the notion of PC-lattice, as a generalization of finite positive implicativ...
Abstract. We introduce pairwise Stone spaces as a natural bitopological generalization of Stone spac...
