Source author record

H. P. Sankappanavar

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.GR math.HO

Catalog footprint

Research overview

4works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Varieties of Regular Pseudocomplemented de Morgan Algebras

In this paper, we investigate the varieties $\mathbf M_n$ and $\mathbf K_n$ of regular pseudocomplemented de Morgan and Kleene algebras of range $n$ , respectively. Priestley duality as it applies to pseudocomplemented de Morgan algebras is used. We characterise the dual spaces of the simple (equivalently, subdirectly irreducible) algebras in $\mathbf M_n$ and explicitly describe the dual spaces of the simple algebras in $\mathbf M_1$ and $\mathbf K_1$ . We show that the variety $\mathbf M_1$ is locally finite, but this property does not extend to $\mathbf M_n$ or even $\mathbf K_n$ for $n \geq 2$ . We also show that the lattice of subvarieties of $\mathbf K_1$ is an $ω+ 1$ chain and the cardinality of the lattice of subvarieties of either $\mathbf K_2$ or $\mathbf M_1$ is $2^ω$ . A description of the lattice of subvarieties of $\mathbf M_1$ is given.

preprint2019arXiv

The lattice of varieties of implication semigroups

In 2012, the second author introduced and examined a new type of algebras as a generalization of De Morgan algebras. These algebras are of type (2,0) with one binary and one nullary operation satisfying two certain specific identities. Such algebras are called implication zroupoids. They invesigated in a number of articles by the second author and J.M.Cornejo. In these articles several varieties of implication zroupoids satisfying the associative law appeared. Implication zroupoids satisfying the associative law are called implication semigroups. Here we completely describe the lattice of all varieties of implication semigroups. It turns out that this lattice is non-modular and consists of 16 elements.

preprint2014arXiv

Boole's Method I. A Modern Version

A rigorous, modern version of Boole's algebra of logic is presented, based partly on the 1890s treatment of Ernst Schroder.

preprint2014arXiv

Boole's Principles of Symbolical Reasoning

In modern algebra it is well-known that one cannot, in general, apply ordinary equational reasoning when dealing with partial algebras. However Boole did not know this, and he took the opposite to be a fundamental truth, which he called the Principles of Symbolical Reasoning in his 1854 book {\em Laws of Thought}. Although Boole made no mention of it, his Principles were clearly a generalization of the earlier publications on algebra by the Cambridge mathematician Peacock. After a detailed examination of Boole's presentation of his Principles, we give a correct version that is applicable to his algebra of logic for classes.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.