6 citations · 9 across the 7 of their papers we have counts for
11 papers · 1 filter
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…
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…
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: $(…