→ 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. Mat. 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: 17 abr. 2024.
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: 17 abril 2024).
IEEE
[1]
M. Sierra Aristizábal, «→ consistencia de los sistemas LD5 a LD10», Bol. Mat., 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 abril 17, 2024. 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. Mat. [Internet]. 1 de julio de 1998 [citado 17 de abril de 2024];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
134
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.