Michael Kinyon

activity

20102026

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2026

Multiplicatively idempotent HSI algebras satisfy all equations of $N$

Tumadhir Alsulami, Marcel Jackson, Michael Kinyon

An algebra with binary operations $+, \cdot, ↑$ and constant $1$ is called an HSI algebra if it satisfies the basic commutative semiring laws for $+, \cdot, 1$ on~ $N$ a…

math.LO2022

Regular Double $p$ -Algebras: A converse to a Katriňák's Theorem, and Applications

Juan M. Cornejo, Michael Kinyon, Hanamantagouda P. Sankappanavar

In 1973, Katriňák proved that regular double $p$ -algebras can be regarded as (regular) double Heyting algebras by ingeniously constructing binary terms for the Heying implication a…

Multiplicatively idempotent HSI algebras satisfy all equations of N

Regular Double p-Algebras: A converse to a Katriňák's Theorem, and Applications

Multiplicatively idempotent HSI algebras satisfy all equations of $N$

Regular Double $p$ -Algebras: A converse to a Katriňák's Theorem, and Applications