12 citations · 22 across the 12 of their papers we have counts for
5 papers · 1 filter
Free five-valued Nelson Algebras
Juan Manuel Cornejo, Andrés Gallardo, Luiz F. Monteiro +1
Five-valued Nelson algebras are those satisfying the condition: . We give alternative equations defining these algebras, and determine…
An alternative axiomatic presentation of Nelson algebras
Juan Manuel Cornejo, Andrés Gallardo, Luiz Monteiro +1
Nelson algebras are defined in [Diana Brignole and António Monteiro. Caractérisation des algèbres de Nelson par des égalités. {I}, {II}. Proc. Japan Acad., 43:279--283; 284--285, 1…
A Categorial Equivalence for semi-Nelson algebras
Juan Manuel Cornejo, Andrés Gallardo, Ignacio Viglizzo
We present a category equivalent to that of semi-Nelson algebras. The objects in this category are pairs consisting of a semi-Heyting algebra and one of its filters. The filters mu…
A recursive formula for the number of semi-Heyting algebras definable on a finite chain
Luiz F. Monteiro, Juan Manuel Cornejo, Ignacio D. Viglizzo
We provide a recursive construction of all the semi-Heyting algebras that can be defined on a chain with elements. This construction allows us to count them easily. We also com…
Proofs of some Propositions of the semi-Intuitionistic Logic with Strong Negation
Juan Manuel Cornejo, Ignacio Viglizzo
We offer the proofs that complete our article introducing the propositional calculus called semi-intuitionistic logic with strong negation.