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: 9 mar. 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: 9 marzo 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 marzo 9, 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 9 de marzo 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
87
Descargas
Licencia
Derechos de autor 1985 Revista Colombiana de Matemáticas
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.
