Lógica relevante[editar]

Esta sección es un extracto de Lógica relevante.[editar]

La lógica relevante, también llamada lógica de relevancia, es toda lógica perteneciente a una
de las familias de lógicas sub-estructurales no clásicas que impone ciertas restricciones en
la implicación.
La lógica relevante fue propuesta en 1928 por el filósofo ruso Iván Orlov (1886 - circa 1936) en
un escrito estrictamente matemático titulado "The Logic of Compatibility of Propositions"
publicado en Matematicheskii Sbornik.
Lógica no monotónica[editar]
Esta sección es un extracto de Lógica no monotónica.[editar]
Una lógica no monotónica, o lógica no monótona, es un sistema lógico cuya relación
de consecuencia lógica es no monotónica. La mayoría de los sistemas lógicos tienen una
relación de consecuencia monotónica, lo que quiere decir que el agregar una fórmula a una
teoría nunca se produce una reducción de su conjunto de consecuencias. Intuitivamente, la
monotonicidad indica que el agregar nuevos conocimientos no reduce el conjunto de las cosas
conocidas. Simbólicamente:
Si , entonces 
Donde A es una fórmula cualquiera y  y  son conjuntos de fórmulas cualesquiera.
Una lógica monotónica no puede manejar varios tipos de razonamiento tales como
el razonamiento por defecto (los hechos pueden ser conocidos únicamente por la
incertidumbre o carencia de evidencia de lo contrario), el razonamiento abductivo (los
hechos sólo se deducen en calidad de explicaciones probables), el razonamiento acerca
del conocimiento (la ignorancia de un hecho debe ser retractada cuando el hecho sea
conocido), y la revisión de creencias (nuevo conocimiento puede contradecir creencias
anteriores, obligando a revisarlas). Esta limitación de la lógica monótona es un
inconveniente en la inteligencia artificial, por la gran cantidad de problemas que tienen un
carácter no monótono.
Lógica infinitaria[editar]
Esta sección es un extracto de Lógica infinitaria.[editar]
Una lógica infinita es una lógica que permite declaraciones infinitamente largas y / o
pruebas infinitamente largas. Algunas lógicas infinitarias pueden tener diferentes
propiedades que las de la lógica estándar de primer orden. En particular, las lógicas
infinitarias pueden no ser compactas o completas. Las nociones de compacidad e
integridad que son equivalentes en la lógica finitaria a veces no lo son en las lógicas
infinitas. Por lo tanto, para las lógicas infinitarias, se definen las nociones de compacidad
fuerte y completitud fuerte. Este artículo abordará las lógicas infinitarias de tipo Hilbert, ya
que han sido ampliamente estudiadas y constituyen las extensiones más directas de la
lógica finitaria. Sin embargo, estas no son las únicas lógicas infinitarias que se han
formulado o estudiado.