3 citations · 7 across the 14 of their papers we have counts for
18 papers
An independent equational basis for the variety of reflexive Nelson algebras
Juan Manuel Cornejo, Paula Soledad Helt, Hernán Javier San Martín
In this manuscript, we provide an independent equational basis for the variety of reflexive Nelson algebras, a generalization of the variety of SNA-algebras. The proof of this resu…
Connexive logics and connexive semi-Heyting algebras
Juan M. Cornejo, Hanamantagouda P. Sankappanavar
In this paper, we define and investigate a connexive logic, called 'Connexive semi-Heyting logic' (\mathcal{CSH} for short) and a new subvariety CSH of the variety SH of semi-Heyti…
Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
Juan M. Cornejo, Hanamantagouda P. Sankappanavar
Gautama algebras were introduced recently, as a common generalization of regular double Stone algebras and regular Kleene Stone algebras. Even more recently, Gautama algebras were…
Subresiduated lattice ordered commutative monoids
Cornejo J. M., San Martín H. J., Sígal V
A subresiduated lattice ordered commutative monoid (or srl-monoid for short) is a pair where is an algebra of type …
Regular Double -Algebras: A converse to a Katriňák's Theorem, and Applications
Juan M. Cornejo, Michael Kinyon, Hanamantagouda P. Sankappanavar
In 1973, Katriňák proved that regular double -algebras can be regarded as (regular) double Heyting algebras by ingeniously constructing binary terms for the Heying implication a…
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…
Semidistributivity and Whitman Property in Implication Zroupoids
Juan M. Cornejo, Hanamantagouda P. Sankappanavar
In 2012, the second author introduced and studied the variety of implication zroupoids that generalize De Morgan algebras and -semilattices with . An algebra…
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…
Implication Zroupoids and Birkhoff Systems
Juan M. Cornejo, Hanamantagouda P. Sankappanavar
An algebra , where is binary and is a constant, is called an implication zroupoid (I-zroupoid, for short) if A satisfies the identities: $(…
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
Juan M. Cornejo, Hanamantagouda P. Sankappanavar
In this paper, we focus on the variety DHMSH of dually hemimorphic semi-Heyting algebras from a logical point of view. Firstly, we present a Hilbert-style axiomatization of a new l…
Symmetric implication zroupoids and identities of Bol-Moufang type
Juan M. Cornejo, Hanamantagouda P. Sankappanavar
An algebra , where is binary and is a constant, is called an implication zroupoid (-zroupoid, for short) if …
Implication Zroupoids and Identities of Associative Type
Juan M. Cornejo, Hanamantagouda P. Sankappanavar
An algebra , where is binary and is a constant, is called an implication zroupoid (-zroupoid, for short) if …
Symmetric Implication Zroupoids and Weak Associative Laws
Juan M. Cornejo, Hanamantagouda P. Sankappanavar
An algebra , where is binary and is a constant, is called an implication zroupoid (-zroupoid, for short) if …
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.
Order in Implication Zroupoids
Juan M. Cornejo, Hanamantagouda P. Sankappanavar
The variety of implication zroupoids was defined and investigated by Sankappanavar ([7]) as a generalization of De Morgan algebras. Also, in [7], several new subvariet…
Semisimple Varieties of Implication Zroupoids
Juan M. Cornejo, Hanamantagouda P. Sankappanavar
It is a well known fact that Boolean algebras can be defined using only implication and a constant. In 2012, this result was extended to De Morgan algebras in [8] which led Sankapp…
On Implicator Groupoids
Juan M. Cornejo, Hanamantagouda P. Sankappanavar
In a paper published in 2012, the second author extended the well-known fact that Boolean algebras can be defined using only implication and a constant, to De Morgan algebras-this…