Una prueba algebraica del teorema de Nishimura
Autores: Citkin, Alex
Idioma: Inglés
Editor: MDPI
Año: 2024
Acceso abierto
Artículo científico
2024
Una prueba algebraica del teorema de Nishimura
Categoría
Matemáticas
Subcategoría
Lógica
Palabras clave
álgebraica
Prueba
Teorema de Nishimura
Un-generado
álgebras de Heyting
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 20
Citaciones: Sin citaciones
Se presenta una prueba algebraica del teorema de Nishimura sobre álgebras de Heyting generadas por uno solo.
Descripción
Se presenta una prueba algebraica del teorema de Nishimura sobre álgebras de Heyting generadas por uno solo.