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. Mat. 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: 29 mar. 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: 29 marzo 2024).

IEEE

[1]
M. Sierra, «LÓGICA BÁSICA CON ACEPTACIÓN FUERTE», Bol. Mat., 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 marzo 29, 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. Mat. [Internet]. 1 de enero de 2002 [citado 29 de marzo 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

292

Descargas

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