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