Motivated by a construction due to R. Cignoli that relates Heyting algebras and centered Nelson algebras, in this paper we prove that there exists an equivalence between the category of semi-Heyting algebras and the category of centered semi- Nelson algebras.Fil: Cornejo, Juan Manuel. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur. Departamento de Matemática; ArgentinaFil: San Martín, Hernán Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; Argentin
Semi-intuitionistic logic is the logic counterpart to semi-Heyting algebras, which were defined by H...
Motivated by the definition of semi-Nelson algebras, a propositional calculus called semi-intuitioni...
Motivated by the definition of semi-Nelson algebras, a propositional calculus called semi-intuitioni...
We present a category equivalent to that of semi-Nelson algebras. The objects in this category are p...
Extending the relation between semi-Heyting algebras and semi-Nelson algebras to dually hemimorphic ...
Generalizing the well known and exploited relation between Heyting and Nelson algebras to semi-Heyti...
In this paper we investigate those subvarieties of the variety SH of semi-Heyting algebras which are...
An algebra A = ⟨A, ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨A, ∨, ∧, 0, 1⟩ is a bounded lattice,...
ABSTRACT. The purpose of this paper is to define and investigate a new (equational) class of algebra...
An algebra A = ⟨A, ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨A, ∨, ∧, 0, 1⟩ is a bounded lattice,...
In this paper we present a category equivalent to that of tense Nelson algebras.The objects in this ...
An algebra A = ⟨A, ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨A, ∨, ∧, 0, 1⟩ is a bounded lattice,...
In this paper we introduce a logic that we name semi Heyting–Brouwer logic, SHB, in such a way that ...
We determine the number of non-isomorphic semi-Heyting algebras on an n-element chain, where n is a ...
Abstract. Nelson algebras arise naturally in algebraic logic as the algebraic models of Nelson’s con...
Semi-intuitionistic logic is the logic counterpart to semi-Heyting algebras, which were defined by H...
Motivated by the definition of semi-Nelson algebras, a propositional calculus called semi-intuitioni...
Motivated by the definition of semi-Nelson algebras, a propositional calculus called semi-intuitioni...
We present a category equivalent to that of semi-Nelson algebras. The objects in this category are p...
Extending the relation between semi-Heyting algebras and semi-Nelson algebras to dually hemimorphic ...
Generalizing the well known and exploited relation between Heyting and Nelson algebras to semi-Heyti...
In this paper we investigate those subvarieties of the variety SH of semi-Heyting algebras which are...
An algebra A = ⟨A, ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨A, ∨, ∧, 0, 1⟩ is a bounded lattice,...
ABSTRACT. The purpose of this paper is to define and investigate a new (equational) class of algebra...
An algebra A = ⟨A, ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨A, ∨, ∧, 0, 1⟩ is a bounded lattice,...
In this paper we present a category equivalent to that of tense Nelson algebras.The objects in this ...
An algebra A = ⟨A, ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨A, ∨, ∧, 0, 1⟩ is a bounded lattice,...
In this paper we introduce a logic that we name semi Heyting–Brouwer logic, SHB, in such a way that ...
We determine the number of non-isomorphic semi-Heyting algebras on an n-element chain, where n is a ...
Abstract. Nelson algebras arise naturally in algebraic logic as the algebraic models of Nelson’s con...
Semi-intuitionistic logic is the logic counterpart to semi-Heyting algebras, which were defined by H...
Motivated by the definition of semi-Nelson algebras, a propositional calculus called semi-intuitioni...
Motivated by the definition of semi-Nelson algebras, a propositional calculus called semi-intuitioni...