Add to ORKGAbstract: The aim of this paper is to provide a negative answer to the question of whether every subdirectly irreducible symmetric Heyting algebra (that is a Heyting algebra with a De Morgan negation) is simple or not
Abstract. Usual normalization by evaluation techniques have a strong relationship with completeness ...
AbstractWe construct, under CH, a homogeneous Boolean algebra A such that A has a countable dense su...
We investigate the class of those algebras (L; A(0), *) in which (L; A(0)) is a de Morgan algebra, (...
ABSTRACT. The purpose of this paper is to define and investigate a new (equational) class of algebra...
We characterize the simple and subdirectly irreducible distributive algebras in some va-rieties of d...
We characterize the simple and subdirectly irreducible distributive algebras in some varieties of d...
Abstract: In this work we investigate the variety of k-cyclic symmetric Heyting algebras, k a positi...
Abstract. The appearance of the complete Heyting algebra in the realm of Algebraic Topology is the m...
First, we construct some families of nonsolvable anticommutative algebras, solvable Lie algebras and...
SIGLEAvailable from British Library Document Supply Centre- DSC:D062975 / BLDSC - British Library Do...
We study some operations that may be defined using the minimum operator in the context of a Heyting ...
We study some operations that may be defined using the minimum operator in the context of a Heyting ...
We study some operations that may be defined using the minimum operator in the context of a Heyting ...
The techniques of natural duality theory are applied to certain finitely generated varieties of Heyt...
Given a Heyting algebra A, we say that an element a ∈ A is enriched (in A) by an element b ∈ A if th...
Abstract. Usual normalization by evaluation techniques have a strong relationship with completeness ...
AbstractWe construct, under CH, a homogeneous Boolean algebra A such that A has a countable dense su...
We investigate the class of those algebras (L; A(0), *) in which (L; A(0)) is a de Morgan algebra, (...
ABSTRACT. The purpose of this paper is to define and investigate a new (equational) class of algebra...
We characterize the simple and subdirectly irreducible distributive algebras in some va-rieties of d...
We characterize the simple and subdirectly irreducible distributive algebras in some varieties of d...
Abstract: In this work we investigate the variety of k-cyclic symmetric Heyting algebras, k a positi...
Abstract. The appearance of the complete Heyting algebra in the realm of Algebraic Topology is the m...
First, we construct some families of nonsolvable anticommutative algebras, solvable Lie algebras and...
SIGLEAvailable from British Library Document Supply Centre- DSC:D062975 / BLDSC - British Library Do...
We study some operations that may be defined using the minimum operator in the context of a Heyting ...
We study some operations that may be defined using the minimum operator in the context of a Heyting ...
We study some operations that may be defined using the minimum operator in the context of a Heyting ...
The techniques of natural duality theory are applied to certain finitely generated varieties of Heyt...
Given a Heyting algebra A, we say that an element a ∈ A is enriched (in A) by an element b ∈ A if th...
Abstract. Usual normalization by evaluation techniques have a strong relationship with completeness ...
AbstractWe construct, under CH, a homogeneous Boolean algebra A such that A has a countable dense su...
We investigate the class of those algebras (L; A(0), *) in which (L; A(0)) is a de Morgan algebra, (...