J. M. Cornejo

activity

20172024

most citedImplication Zroupoids and Identities of Associative Type

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

collaborators

Showing math.LOShow all

9 papers · 1 filter

math.LO2024

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…

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.LO2021

An alternative axiomatic presentation of Nelson algebras

Juan Manuel Cornejo, Andrés Gallardo, Luiz Monteiro +1

Nelson algebras are defined in [Diana Brignole and António Monteiro. Caractérisation des algèbres de Nelson par des égalités. {I}, {II}. Proc. Japan Acad., 43:279--283; 284--285, 1…

math.LO2020

Semidistributivity and Whitman Property in Implication Zroupoids

Juan M. Cornejo, Hanamantagouda P. Sankappanavar

In 2012, the second author introduced and studied the variety $I$ of implication zroupoids that generalize De Morgan algebras and $\lor$ -semilattices with $0$ . An algebra…

math.LO2020

Implication Zroupoids and Birkhoff Systems

Juan M. Cornejo, Hanamantagouda P. Sankappanavar

An algebra $A = ⟨ A, \to, 0 ⟩$ , where $\to$ is binary and $0$ is a constant, is called an implication zroupoid (I-zroupoid, for short) if A satisfies the identities: $(…

math.LO2017

Symmetric implication zroupoids and identities of Bol-Moufang type

Juan M. Cornejo, Hanamantagouda P. Sankappanavar

An algebra $A = ⟨ A, \to, 0 ⟩$ , where $\to$ is binary and $0$ is a constant, is called an implication zroupoid ( $I$ -zroupoid, for short) if $A$ …