Showing math.LOShow all
3 papers · 1 filter
math.LO2026
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…
math.LO2025
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…
math.LO2024
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…