The variety generated by semi-Heyting chains. - Manuel Abad; Juan Manuel Cornejo; J. Patricio Díaz Varela (Soft Comput., 2010)

The Variety of Semi-Heyting Algebras Satisfying the equation (0 → 1)* v (0 → 1)** ≈ 1. - Manuel Abad; Juan Manuel Cornejo; José Patricio Díaz Varela (Reports Math. Log., 2011)

Semi-intuitionistic Logic. - Juan Manuel Cornejo (Stud Logica, 2011)

Free-decomposability in varieties of semi-Heyting algebras. - Manuel Abad; Juan Manuel Cornejo; J. Patricio Díaz Varela (Math. Log. Q., 2012)

Semi-Heyting Algebras Term-equivalent to Gödel Algebras. - Manuel Abad; Juan Manuel Cornejo; José Patricio Díaz Varela (Order, 2013)

The Semi Heyting-Brouwer Logic. - Juan Manuel Cornejo (Stud Logica, 2015)

On Some Semi-Intuitionistic Logics. - Juan Manuel Cornejo; Ignacio D. Viglizzo (Stud Logica, 2015)

Obtaining Pharmacokinetic Population Models Using a Genetic Algorithm Approach. - Oscar Montiel; Juan Manuel Cornejo; Carlos Sepúlveda; Roberto Sepúlveda (Design of Intelligent Systems Based on Fuzzy Logic, Neural Networks and Nature-Inspired Optimization, 2015)

Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic. - Diego Nicolás Castaño; Juan Manuel Cornejo (Stud Logica, 2016)

Order in Implication Zroupoids. - Juan Manuel Cornejo; Hanamantagouda P. Sankappanavar (Stud Logica, 2016)

Semisimple varieties of implication zroupoids. - Juan Manuel Cornejo; Hanamantagouda P. Sankappanavar (Soft Comput., 2016)

On derived algebras and subvarieties of implication zroupoids. - Juan Manuel Cornejo; Hanamantagouda P. Sankappanavar (Soft Comput., 2017)

A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras. - Juan Manuel Cornejo; Hernán Javier San Martín (Log. J. IGPL, 2018)

Semi-Nelson Algebras. - Juan Manuel Cornejo; Ignacio Darío Viglizzo (Order, 2018)

Semi-intuitionistic Logic with Strong Negation. - Juan Manuel Cornejo; Ignacio Darío Viglizzo (Stud Logica, 2018)

Symmetric implication zroupoids and identities of Bol-Moufang type. - Juan Manuel Cornejo; Hanamantagouda P. Sankappanavar (Soft Comput., 2018)

Symmetric implication zroupoids and weak associative laws. - Juan Manuel Cornejo; Hanamantagouda P. Sankappanavar (Soft Comput., 2019)

Dually hemimorphic semi-Nelson algebras. - Juan Manuel Cornejo; Hernán Javier San Martín (Log. J. IGPL, 2020)

A note on chain-based semi-Heyting algebras. - Juan Manuel Cornejo; Luiz F. Monteiro; Hanamantagouda P. Sankappanavar; Ignacio D. Viglizzo (Math. Log. Q., 2020)

A categorial equivalence for semi-Nelson algebras. - Juan Manuel Cornejo; Andrés Gallardo; Ignacio Darío Viglizzo (Soft Comput., 2021)

Gautama and Almost Gautama Algebras and their associated logics. - Juan Manuel Cornejo; Hanamantagouda P. Sankappanavar (TFSS, 2023)

Subresiduated lattice ordered commutative monoids. - Juan Manuel Cornejo; Hernán Javier San Martín; Valeria A. Sígal (Fuzzy Sets Syst., 2023)

On a Class of Subreducts of the Variety of Integral srl-Monoids and Related Logics. - Juan Manuel Cornejo; Hernán Javier San Martín; Valeria A. Sígal (Stud Logica, 2024)

On subresiduated lattice ordered commutative monoids and some of its subvarieties. - Juan Manuel Cornejo; Hernán Javier San Martín; Valeria Anahí Sígal (Soft Comput., 2025)