6 citations · 16 across the 15 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
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.LO2025
Unorthodox Algebras and their associated Unorthodox Logics
Hanamantagouda P. Sankappanavar
This paper grew out of our investigation into a simple, but natural, question: Can 'F implies T' be distinct from F and T? To this end, we introduce five 'unorthodox' algebras that…
math.LO2025
Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
Hanamantagouda P. Sankappanavar
This paper is inspired by 1892 paper of Johnson, where he has given an axiomatization for the variety of Boolean algebras (equivalently, for classical propositional calculus). The…