Lógica básica con aceptación fuerte

Thumbnail
Author
Sierra, Manuel
Type
Artículo de revista
Document language
Español
Publication Date
2002
Gestores bibliográficos
RIS
Metadata
Show full item record
Cita

Cómo citar

Summary
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.
Keywords
URI
https://repositorio.unal.edu.co/handle/unal/73493
Collections
Atribución-NoComercial 4.0 InternacionalThis work is licensed under a Creative Commons Reconocimiento-NoComercial 4.0.This document has been deposited by the author (s) under the following certificate of deposit