→ consistencia de los sistemas LD5 a LD10
Palabras clave:
paradoja de Russell, →consistentes, contracción, simplificación, Modus Ponens (es)Russell paradox, →consistent, contraction, simplification, modus ponens (en)
Descargas
Los sistemas proposicionales LD5, ..., LD10 soportan una forma general de la paradoja de Russell y son →consistentes.
The propositional systems LD5, ..., LD10 support a general form of Russell paradox and are→consistent.
Cómo citar
APA
Sierra Aristizábal, M. (1998). → consistencia de los sistemas LD5 a LD10. Boletín de Matemáticas, 5(2), 129–145. https://revistas.unal.edu.co/index.php/bolma/article/view/18260
ACM
[1]
Sierra Aristizábal, M. 1998. → consistencia de los sistemas LD5 a LD10. Boletín de Matemáticas. 5, 2 (jul. 1998), 129–145.
ACS
(1)
Sierra Aristizábal, M. → consistencia de los sistemas LD5 a LD10. Bol. Matemáticas 1998, 5, 129-145.
ABNT
SIERRA ARISTIZÁBAL, M. → consistencia de los sistemas LD5 a LD10. Boletín de Matemáticas, [S. l.], v. 5, n. 2, p. 129–145, 1998. Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/18260. Acesso em: 29 ene. 2025.
Chicago
Sierra Aristizábal, Manuel. 1998. «→ consistencia de los sistemas LD5 a LD10». Boletín De Matemáticas 5 (2):129-45. https://revistas.unal.edu.co/index.php/bolma/article/view/18260.
Harvard
Sierra Aristizábal, M. (1998) «→ consistencia de los sistemas LD5 a LD10», Boletín de Matemáticas, 5(2), pp. 129–145. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/18260 (Accedido: 29 enero 2025).
IEEE
[1]
M. Sierra Aristizábal, «→ consistencia de los sistemas LD5 a LD10», Bol. Matemáticas, vol. 5, n.º 2, pp. 129–145, jul. 1998.
MLA
Sierra Aristizábal, M. «→ consistencia de los sistemas LD5 a LD10». Boletín de Matemáticas, vol. 5, n.º 2, julio de 1998, pp. 129-45, https://revistas.unal.edu.co/index.php/bolma/article/view/18260.
Turabian
Sierra Aristizábal, Manuel. «→ consistencia de los sistemas LD5 a LD10». Boletín de Matemáticas 5, no. 2 (julio 1, 1998): 129–145. Accedido enero 29, 2025. https://revistas.unal.edu.co/index.php/bolma/article/view/18260.
Vancouver
1.
Sierra Aristizábal M. → consistencia de los sistemas LD5 a LD10. Bol. Matemáticas [Internet]. 1 de julio de 1998 [citado 29 de enero de 2025];5(2):129-45. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/18260
Descargar cita
Visitas a la página del resumen del artículo
139
Descargas
Los datos de descargas todavía no están disponibles.
Licencia
Derechos de autor 1998 Boletín de Matemáticas
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.