→ consistencia de los sistemas LD5 a LD10
Palavras-chave:
paradoja de Russell, →consistentes, contracción, simplificación, Modus Ponens (es)Russell paradox, →consistent, contraction, simplification, modus ponens (en)
Downloads
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.
Como 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: 18 fev. 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), p. 129–145. Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/18260 (Acessado: 18 fevereiro 2025).
IEEE
[1]
M. Sierra Aristizábal, “→ consistencia de los sistemas LD5 a LD10”, Bol. Matemáticas, vol. 5, nº 2, p. 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, julho de 1998, p. 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 (julho 1, 1998): 129–145. Acessado fevereiro 18, 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 julho de 1998 [citado 18º de fevereiro de 2025];5(2):129-45. Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/18260
Baixar Citação
Acessos à página de resumo
139
Downloads
Licença
Copyright (c) 1998 Boletín de Matemáticas
![Creative Commons License](http://i.creativecommons.org/l/by/4.0/88x31.png)
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.