Publicado

2002-01-01

LÓGICA BÁSICA CON ACEPTACIÓN FUERTE

Palabras clave:

Strong affirmation, weak affirmation, negation, axiom, classical logic, valuation, trivialization. (es)

Descargas

Autores/as

  • Manuel Sierra Universidad EAFIT
El sistema “Lógica Básica con Aceptación Fuerte” es una generalización de la Lógica Clásica. En él se tiene un operador llamado “aceptación fuerte”, el cual tiene la característica de permitir que un enunciado y la negación de su aceptación fuerte sean ambos verdaderos, también permite que un enunciado y la negación de su aceptación fuerte sean ambos falsos.

Cómo citar

APA

Sierra, M. (2002). LÓGICA BÁSICA CON ACEPTACIÓN FUERTE. Boletín de Matemáticas, 9(1), 23–52. https://revistas.unal.edu.co/index.php/bolma/article/view/40231

ACM

[1]
Sierra, M. 2002. LÓGICA BÁSICA CON ACEPTACIÓN FUERTE. Boletín de Matemáticas. 9, 1 (ene. 2002), 23–52.

ACS

(1)
Sierra, M. LÓGICA BÁSICA CON ACEPTACIÓN FUERTE. Bol. Matemáticas 2002, 9, 23-52.

ABNT

SIERRA, M. LÓGICA BÁSICA CON ACEPTACIÓN FUERTE. Boletín de Matemáticas, [S. l.], v. 9, n. 1, p. 23–52, 2002. Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/40231. Acesso em: 26 sep. 2024.

Chicago

Sierra, Manuel. 2002. «LÓGICA BÁSICA CON ACEPTACIÓN FUERTE». Boletín De Matemáticas 9 (1):23-52. https://revistas.unal.edu.co/index.php/bolma/article/view/40231.

Harvard

Sierra, M. (2002) «LÓGICA BÁSICA CON ACEPTACIÓN FUERTE», Boletín de Matemáticas, 9(1), pp. 23–52. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/40231 (Accedido: 26 septiembre 2024).

IEEE

[1]
M. Sierra, «LÓGICA BÁSICA CON ACEPTACIÓN FUERTE», Bol. Matemáticas, vol. 9, n.º 1, pp. 23–52, ene. 2002.

MLA

Sierra, M. «LÓGICA BÁSICA CON ACEPTACIÓN FUERTE». Boletín de Matemáticas, vol. 9, n.º 1, enero de 2002, pp. 23-52, https://revistas.unal.edu.co/index.php/bolma/article/view/40231.

Turabian

Sierra, Manuel. «LÓGICA BÁSICA CON ACEPTACIÓN FUERTE». Boletín de Matemáticas 9, no. 1 (enero 1, 2002): 23–52. Accedido septiembre 26, 2024. https://revistas.unal.edu.co/index.php/bolma/article/view/40231.

Vancouver

1.
Sierra M. LÓGICA BÁSICA CON ACEPTACIÓN FUERTE. Bol. Matemáticas [Internet]. 1 de enero de 2002 [citado 26 de septiembre de 2024];9(1):23-52. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/40231

Descargar cita

Visitas a la página del resumen del artículo

300

Descargas

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

Licencia

Derechos de autor 2002 Boletín de Matemáticas

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.