Correo Electrónico
DNINFOA - SIA
Bibliotecas
Convocatorias
Identidad U.N.
Publié-e
1985-01-01
On intuitionistic sentential connectives I
Mots-clés :
Non-classical logic, Lindenbaum algebras, properties (es)Téléchargements
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.
Comment citer
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 (janv. 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 mars. 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), p. 117–130. Disponible à: https://revistas.unal.edu.co/index.php/recolma/article/view/32589 (Consulté le: 9 mars 2025).
IEEE
[1]
E. López-Escobar, « On intuitionistic sentential connectives I », rev.colomb.mat, vol. 19, nᵒ 1-2, p. 117–130, janv. 1985.
MLA
López-Escobar, E. « On intuitionistic sentential connectives I ». Revista Colombiana de Matemáticas, vol. 19, nᵒ 1-2, janvier 1985, p. 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 (janvier 1, 1985): 117–130. Consulté le mars 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 janv. 1985 [cité 9 mars 2025];19(1-2):117-30. Disponible à: https://revistas.unal.edu.co/index.php/recolma/article/view/32589
Télécharger la référence
Consultations de la page du résumé de l'article
87
Téléchargements
Licence
© Revista Colombiana de Matemáticas 1985
Cette œuvre est sous licence Creative Commons Attribution 4.0 International.
