2 papers
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…