Juan Manuel Cornejo

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 17

Top Topics

Proof Theoretic

Clifford Algebra

Temporal Reasoning

Intuitionistic Logic

Top Venues

Publications

Juan Manuel Cornejo, Hernán Javier San Martín, Valeria A. Sígal
On a Class of Subreducts of the Variety of Integral srl-Monoids and Related Logics. Stud Logica 112 (4) (2024)
Juan Manuel Cornejo, Hernán Javier San Martín, Valeria A. Sígal
Subresiduated lattice ordered commutative monoids. Fuzzy Sets Syst. 463 (2023)
Juan Manuel Cornejo, Hanamantagouda P. Sankappanavar
Gautama and Almost Gautama Algebras and their associated logics. TFSS 2 (2) (2023)
Juan Manuel Cornejo, Andrés Gallardo, Ignacio Darío Viglizzo
A categorial equivalence for semi-Nelson algebras. Soft Comput. 25 (22) (2021)
Juan Manuel Cornejo, Luiz F. Monteiro, Hanamantagouda P. Sankappanavar, Ignacio D. Viglizzo
A note on chain-based semi-Heyting algebras. Math. Log. Q. 66 (4) (2020)
Juan Manuel Cornejo, Hernán Javier San Martín
Dually hemimorphic semi-Nelson algebras. Log. J. IGPL 28 (3) (2020)
Juan Manuel Cornejo, Hanamantagouda P. Sankappanavar
Symmetric implication zroupoids and weak associative laws. Soft Comput. 23 (16) (2019)
Juan Manuel Cornejo, Hernán Javier San Martín
A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras. Log. J. IGPL 26 (4) (2018)
Juan Manuel Cornejo, Ignacio Darío Viglizzo
Semi-intuitionistic Logic with Strong Negation. Stud Logica 106 (2) (2018)
Juan Manuel Cornejo, Hanamantagouda P. Sankappanavar
Symmetric implication zroupoids and identities of Bol-Moufang type. Soft Comput. 22 (13) (2018)
Juan Manuel Cornejo, Ignacio Darío Viglizzo
Semi-Nelson Algebras. Order 35 (1) (2018)
Juan Manuel Cornejo, Hanamantagouda P. Sankappanavar
On derived algebras and subvarieties of implication zroupoids. Soft Comput. 21 (23) (2017)
Juan Manuel Cornejo, Hanamantagouda P. Sankappanavar
Order in Implication Zroupoids. Stud Logica 104 (3) (2016)
Diego N. Castaño, Juan Manuel Cornejo
Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic. Stud Logica 104 (6) (2016)
Juan Manuel Cornejo, Hanamantagouda P. Sankappanavar
Semisimple varieties of implication zroupoids. Soft Comput. 20 (8) (2016)
Juan Manuel Cornejo
The Semi Heyting-Brouwer Logic. Stud Logica 103 (4) (2015)
Juan Manuel Cornejo, Ignacio D. Viglizzo
On Some Semi-Intuitionistic Logics. Stud Logica 103 (2) (2015)
Manuel Abad, Juan Manuel Cornejo, José Patricio Díaz Varela
Semi-Heyting Algebras Term-equivalent to Gödel Algebras. Order 30 (2) (2013)
Manuel Abad, Juan Manuel Cornejo, J. Patricio Díaz Varela
Free-decomposability in varieties of semi-Heyting algebras. Math. Log. Q. 58 (3) (2012)
Juan Manuel Cornejo
Semi-intuitionistic Logic. Stud Logica 98 (1-2) (2011)
Manuel Abad, Juan Manuel Cornejo, José Patricio Díaz Varela
≈ 1. Reports Math. Log. 46 (2011)
Manuel Abad, Juan Manuel Cornejo, J. Patricio Díaz Varela
The variety generated by semi-Heyting chains. Soft Comput. 15 (4) (2010)