J. M. Cornejo

activity

20152026

most citedImplication Zroupoids and Identities of Associative Type

3 citations · 7 across the 14 of their papers we have counts for

collaborators

Showing 2022Show all

2 papers · 1 filter

math.LO2022

Subresiduated lattice ordered commutative monoids

Cornejo J. M., San Martín H. J., Sígal V

A subresiduated lattice ordered commutative monoid (or srl-monoid for short) is a pair $(A, Q)$ where $A = (A, \land, \lor, \cdot, e)$ is an algebra of type $(2, 2, 2, 0)$ …

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…

Subresiduated lattice ordered commutative monoids

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

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