A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras

Autor:	Hernán Javier San Martín, Juan Manuel Cornejo
Rok vydání:	2018
Předmět:	Pure mathematics Matemáticas Logic 010102 general mathematics SEMI-HEYTING ALGEBRAS SEMI-NELSON ALGEBRAS 0102 computer and information sciences Congruence relation 01 natural sciences Matemática Pura CONGRUENCES DUALITY 010201 computation theory & mathematics 0101 mathematics Equivalence (formal languages) Categorical variable CIENCIAS NATURALES Y EXACTAS Mathematics
Zdroj:	Logic Journal of the IGPL. 26:408-428
ISSN:	1368-9894 1367-0751
DOI:	10.1093/jigpal/jzy006
Popis:	Motivated by a construction due to R. Cignoli that relates Heyting algebras and centered Nelson algebras, in this paper we prove that there exists an equivalence between the category of semi-Heyting algebras and the category of centered semi- Nelson algebras. Fil: Cornejo, Juan Manuel. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur. Departamento de Matemática; Argentina Fil: San Martín, Hernán Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; Argentina
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ee56f160f2a3458c00664c8036d84fc9 https://doi.org/10.1093/jigpal/jzy006 Zobrazit plný text záznamu Plný text ve formátu PDF Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.