E-LIB Suche - Ergebnisse für: Cornejo, Juan Manuel

1

On a Class of Subreducts of the Variety of Integral srl-Mon..:

Cornejo, Juan Manuel ; San Martín, Hernn Javier ; Sígal, Valeria
Studia Logica. 112 (2023) 4 - p. 861-891 , 2023

2

Subresiduated lattice ordered commutative monoids:

Cornejo, Juan Manuel ; San Martín, Hernán Javier ; Sígal, Valeria Anahí
Fuzzy Sets and Systems. 463 (2023) - p. 108447 , 2023

Link: https://doi.org/10.1016/..

3

A Logic for Dually Hemimorphic Semi-Heyting Algebras and it..:

Cornejo, Juan Manuel ; Sankappanavar, Hanamantagouda P.
Bulletin of the Section of Logic. 51 (2022) 4 - p. 555-645 , 2022

Link: https://doi.org/10.18778..

4

A categorial equivalence for semi-Nelson algebras:

Cornejo, Juan Manuel ; Gallardo, Andrés ; Viglizzo, Ignacio
Soft Computing. 25 (2021) 22 - p. 13813-13821 , 2021

Link: https://doi.org/10.1007/..

5

A note on chain‐based semi‐Heyting algebras:

Cornejo, Juan Manuel ; Monteiro, Luiz F. ; Sankappanavar, Hanamantagouda P..
Mathematical Logic Quarterly. 66 (2020) 4 - p. 409-417 , 2020

Link: https://doi.org/10.1002/..

6

Dually hemimorphic semi-Nelson algebras:

San MartÍn, HernÁn Javier ; Cornejo, Juan Manuel
Logic Journal of the IGPL. 28 (2019) 3 - p. 316-340 , 2019

Link: https://doi.org/10.1093/..

7

Semi-intuitionistic Logic with Strong Negation:

Cornejo, Juan Manuel ; Viglizzo, Ignacio
Studia Logica: An International Journal for Symbolic Logic. 106 (2018) 2 - p. 281-293 , 2018

Link: https://www.jstor.org/st..

8

A categorical equivalence between semi-Heyting algebras and..:

Cornejo, Juan Manuel ; San Martín, Hernán Javier
Logic Journal of the IGPL. 26 (2018) 4 - p. 408-428 , 2018

Link: https://doi.org/10.1093/..

9

Semi-intuitionistic Logic with Strong Negation:

Cornejo, Juan Manuel ; Viglizzo, Ignacio
Studia Logica. 106 (2017) 2 - p. 281-293 , 2017

Link: https://doi.org/10.1007/..

10

Gentzen-Style Sequent Calculus for Semi-intuitionistic Logi:

Castaño, Diego ; Cornejo, Juan Manuel
Studia Logica. 104 (2016) 6 - p. 1245-1265 , 2016

Link: https://doi.org/10.1007/..

11

Semi-Nelson Algebras:

Cornejo, Juan Manuel ; Viglizzo, Ignacio
Order. 35 (2016) 1 - p. 23-45 , 2016

Link: https://doi.org/10.1007/..

12

Gentzen-Style Sequent Calculus for Semi-intuitionistic Logi:

Castaño, Diego ; Cornejo, Juan Manuel
Studia Logica: An International Journal for Symbolic Logic. 104 (2016) 6 - p. 1245-1265 , 2016

Link: http://www.jstor.org/sta..

13

The Semi Heyting-Brouwer Logic:

Cornejo, Juan Manuel
Studia Logica: An International Journal for Symbolic Logic. 103 (2015) 4 - p. 853-875 , 2015

Link: http://www.jstor.org/sta..

14

The Semi Heyting–Brouwer Logic:

Cornejo, Juan Manuel
Studia Logica. 103 (2014) 4 - p. 853-875 , 2014

Link: https://doi.org/10.1007/..

15

Free‐decomposability in varieties of semi‐Heyting algebras:

Abad, Manuel ; Cornejo, Juan Manuel ; Varela, Patricio Díaz
Mathematical Logic Quarterly. 58 (2012) 3 - p. 168-176 , 2012

Link: https://doi.org/10.1002/..