Publicado
2006-07-01
SISTEMA PARACOMPLETO LBP°¬C
Palabras clave:
Sistema LBPo¬C, lógica clásica positiva, operador de negación débil, operador de negación fuerte, operador de determinabilidad, sistema paracompleto. (es)Descargas
El lenguaje del sistema LBPo¬C extiende el lenguaje de la
lógica clásica positiva al incluir un operador de negación débil y un operador de determinabilidad, y además permite definir un operador de negación fuerte, el cual tiene todas las características de la negación clásica. El sistema es caracterizado por una semántica de valuaciones tradicionales
con la cual se prueba que, respecto al operador de negación débil, el sistema es paracompleto. Como es de esperarse, cuando las fórmulas involucradas en un argumento se comportan clásicamente, es decir son determinables, entonces la negación débil se comporta como la negación
clásica, pero este requisito no siempre es necesario, la negación débil puede ser puntualmente tan potente como la clásica aunque las fórmulas involucradas no se comporten clásicamente.
Cómo citar
APA
Sierra, M. (2006). SISTEMA PARACOMPLETO LBP°¬C. Boletín de Matemáticas, 13(2), 159–175. https://revistas.unal.edu.co/index.php/bolma/article/view/40453
ACM
[1]
Sierra, M. 2006. SISTEMA PARACOMPLETO LBP°¬C. Boletín de Matemáticas. 13, 2 (jul. 2006), 159–175.
ACS
(1)
Sierra, M. SISTEMA PARACOMPLETO LBP°¬C. Bol. Matemáticas 2006, 13, 159-175.
ABNT
SIERRA, M. SISTEMA PARACOMPLETO LBP°¬C. Boletín de Matemáticas, [S. l.], v. 13, n. 2, p. 159–175, 2006. Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/40453. Acesso em: 16 ago. 2024.
Chicago
Sierra, Manuel. 2006. «SISTEMA PARACOMPLETO LBP°¬C». Boletín De Matemáticas 13 (2):159-75. https://revistas.unal.edu.co/index.php/bolma/article/view/40453.
Harvard
Sierra, M. (2006) «SISTEMA PARACOMPLETO LBP°¬C», Boletín de Matemáticas, 13(2), pp. 159–175. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/40453 (Accedido: 16 agosto 2024).
IEEE
[1]
M. Sierra, «SISTEMA PARACOMPLETO LBP°¬C», Bol. Matemáticas, vol. 13, n.º 2, pp. 159–175, jul. 2006.
MLA
Sierra, M. «SISTEMA PARACOMPLETO LBP°¬C». Boletín de Matemáticas, vol. 13, n.º 2, julio de 2006, pp. 159-75, https://revistas.unal.edu.co/index.php/bolma/article/view/40453.
Turabian
Sierra, Manuel. «SISTEMA PARACOMPLETO LBP°¬C». Boletín de Matemáticas 13, no. 2 (julio 1, 2006): 159–175. Accedido agosto 16, 2024. https://revistas.unal.edu.co/index.php/bolma/article/view/40453.
Vancouver
1.
Sierra M. SISTEMA PARACOMPLETO LBP°¬C. Bol. Matemáticas [Internet]. 1 de julio de 2006 [citado 16 de agosto de 2024];13(2):159-75. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/40453
Descargar cita
Visitas a la página del resumen del artículo
169
Descargas
Los datos de descargas todavía no están disponibles.
Licencia
Derechos de autor 2006 Boletín de Matemáticas
![Creative Commons License](http://i.creativecommons.org/l/by/4.0/88x31.png)
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.