Correo Electrónico
DNINFOA - SIA
Bibliotecas
Convocatorias
Identidad U.N.
Veröffentlicht
1985-01-01
On intuitionistic sentential connectives I
Schlagworte:
Non-classical logic, Lindenbaum algebras, properties (es)Downloads
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.
Zitationsvorschlag
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 (Jan. 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 märz. 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), S. 117–130. Verfügbar unter: https://revistas.unal.edu.co/index.php/recolma/article/view/32589 (Zugegriffen: 9 März 2025).
IEEE
[1]
E. López-Escobar, „On intuitionistic sentential connectives I“, rev.colomb.mat, Bd. 19, Nr. 1-2, S. 117–130, Jan. 1985.
MLA
López-Escobar, E. „On intuitionistic sentential connectives I“. Revista Colombiana de Matemáticas, Bd. 19, Nr. 1-2, Januar 1985, S. 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 (Januar 1, 1985): 117–130. Zugegriffen März 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. Januar 1985 [zitiert 9. März 2025];19(1-2):117-30. Verfügbar unter: https://revistas.unal.edu.co/index.php/recolma/article/view/32589
Bibliografische Angaben herunterladen
Aufrufe der Abstractseiten von Artikeln
87
Downloads
Lizenz
Copyright (c) 1985 Revista Colombiana de Matemáticas
Dieses Werk steht unter der Lizenz Creative Commons Namensnennung 4.0 International.
