Add to ORKGAbstract: In this work we investigate the variety of k-cyclic symmetric Heyting algebras, k a positive integer. We characterize the simple objects of this variety and we describe the lattice of subvarieties in the linear case. We also give equational bases for each member of this lattice
Dedicated to our friend and colleague Mamuka Jibladze on his 50th birthday Abstract. This paper surv...
1.2 Description of the Heyting algebra structure of the subobject lattices.......
Abstract. A Heyting algebra is a distributive lattice with im-plication and a dual BCK-algebra is an...
ABSTRACT. The purpose of this paper is to define and investigate a new (equational) class of algebra...
In this paper, we solve an open problem in an special case. The problem is to give a characterizatio...
An algebra A = ⟨A, ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨A, ∨, ∧, 0, 1⟩ is a bounded lattice,...
In this paper we investigate those subvarieties of the variety SH of semi-Heyting algebras which are...
In [4, Definition 8.1], some important subvarieties of the variety $ \mathcal {SH}$ of semi-Heyting ...
SIGLEAvailable from British Library Document Supply Centre- DSC:D062975 / BLDSC - British Library Do...
Abstract: The aim of this paper is to provide a negative answer to the question of whether every sub...
A Heyting algebra is not only a lattice theoretic object, but is also related to the intruitiontic l...
リサーチレポート（北陸先端科学技術大学院大学情報科学研究科）本文は図書館に配架されています。 / This material is stored in the JAIST library
The variety of Heyting algebras has two well-behaved locally finite reducts, the variety of bounded ...
Given a Heyting algebra A, we say that an element a ∈ A is enriched (in A) by an element b ∈ A if th...
The variety of Heyting algebras has two well-behaved locally finite reducts, the variety of bounded ...
Dedicated to our friend and colleague Mamuka Jibladze on his 50th birthday Abstract. This paper surv...
1.2 Description of the Heyting algebra structure of the subobject lattices.......
Abstract. A Heyting algebra is a distributive lattice with im-plication and a dual BCK-algebra is an...
ABSTRACT. The purpose of this paper is to define and investigate a new (equational) class of algebra...
In this paper, we solve an open problem in an special case. The problem is to give a characterizatio...
An algebra A = ⟨A, ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨A, ∨, ∧, 0, 1⟩ is a bounded lattice,...
In this paper we investigate those subvarieties of the variety SH of semi-Heyting algebras which are...
In [4, Definition 8.1], some important subvarieties of the variety $ \mathcal {SH}$ of semi-Heyting ...
SIGLEAvailable from British Library Document Supply Centre- DSC:D062975 / BLDSC - British Library Do...
Abstract: The aim of this paper is to provide a negative answer to the question of whether every sub...
A Heyting algebra is not only a lattice theoretic object, but is also related to the intruitiontic l...
リサーチレポート（北陸先端科学技術大学院大学情報科学研究科）本文は図書館に配架されています。 / This material is stored in the JAIST library
The variety of Heyting algebras has two well-behaved locally finite reducts, the variety of bounded ...
Given a Heyting algebra A, we say that an element a ∈ A is enriched (in A) by an element b ∈ A if th...
The variety of Heyting algebras has two well-behaved locally finite reducts, the variety of bounded ...
Dedicated to our friend and colleague Mamuka Jibladze on his 50th birthday Abstract. This paper surv...
1.2 Description of the Heyting algebra structure of the subobject lattices.......
Abstract. A Heyting algebra is a distributive lattice with im-plication and a dual BCK-algebra is an...