Correo Electrónico
DNINFOA - SIA
Bibliotecas
Convocatorias
Identidad U.N.
Publicado
1985-01-01
On intuitionistic sentential connectives I
Palabras clave:
Non-classical logic, Lindenbaum algebras, properties (es)Descargas
Recently there have appeared a series of articles on a non-classical logic, called the Heytinq-Brouwer Logic (H-B L), see [2], [3], [5] and [6]. The H-B Logics are obtained by the addition of new sentential connectives to intuitionistic logic so that the resulting Lindenbaum algebras enjoy some duality properties.
Cómo citar
APA
López-Escobar, E. (1985). On intuitionistic sentential connectives I. Revista Colombiana de Matemáticas, 19(1-2), 117–130. https://revistas.unal.edu.co/index.php/recolma/article/view/32589
ACM
[1]
López-Escobar, E. 1985. On intuitionistic sentential connectives I. Revista Colombiana de Matemáticas. 19, 1-2 (ene. 1985), 117–130.
ACS
(1)
López-Escobar, E. On intuitionistic sentential connectives I. rev.colomb.mat 1985, 19, 117-130.
ABNT
LÓPEZ-ESCOBAR, E. On intuitionistic sentential connectives I. Revista Colombiana de Matemáticas, [S. l.], v. 19, n. 1-2, p. 117–130, 1985. Disponível em: https://revistas.unal.edu.co/index.php/recolma/article/view/32589. Acesso em: 2 feb. 2025.
Chicago
López-Escobar, E.G.K. 1985. «On intuitionistic sentential connectives I». Revista Colombiana De Matemáticas 19 (1-2):117-30. https://revistas.unal.edu.co/index.php/recolma/article/view/32589.
Harvard
López-Escobar, E. (1985) «On intuitionistic sentential connectives I», Revista Colombiana de Matemáticas, 19(1-2), pp. 117–130. Disponible en: https://revistas.unal.edu.co/index.php/recolma/article/view/32589 (Accedido: 2 febrero 2025).
IEEE
[1]
E. López-Escobar, «On intuitionistic sentential connectives I», rev.colomb.mat, vol. 19, n.º 1-2, pp. 117–130, ene. 1985.
MLA
López-Escobar, E. «On intuitionistic sentential connectives I». Revista Colombiana de Matemáticas, vol. 19, n.º 1-2, enero de 1985, pp. 117-30, https://revistas.unal.edu.co/index.php/recolma/article/view/32589.
Turabian
López-Escobar, E.G.K. «On intuitionistic sentential connectives I». Revista Colombiana de Matemáticas 19, no. 1-2 (enero 1, 1985): 117–130. Accedido febrero 2, 2025. https://revistas.unal.edu.co/index.php/recolma/article/view/32589.
Vancouver
1.
López-Escobar E. On intuitionistic sentential connectives I. rev.colomb.mat [Internet]. 1 de enero de 1985 [citado 2 de febrero de 2025];19(1-2):117-30. Disponible en: https://revistas.unal.edu.co/index.php/recolma/article/view/32589
Descargar cita
Visitas a la página del resumen del artículo
86
Descargas
Los datos de descargas todavía no están disponibles.
Licencia
Derechos de autor 1985 Revista Colombiana de Matemáticas
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.
