Publicado

1985-01-01

On intuitionistic sentential connectives I

Palabras clave:

Non-classical logic, Lindenbaum algebras, properties (es)

Descargas

Autores/as

  • E.G.K. López-Escobar

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: 29 mar. 2024.

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: 29 marzo 2024).

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 29, 2024. 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 29 de marzo de 2024];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

80

Descargas

Los datos de descargas todavía no están disponibles.