Lógica Modal y Sistemas Kripke
Lógica Modal y Sistemas Kripke La lógica modal es una extensión de la lógica clásica que introduce conceptos como la…
Categoría: Lógica modal y no clásica
Extensiones de la lógica clásica con nuevos operadores y sistemas.
Lógica Difusa
Lógica Difusa La lógica difusa (o lógica fuzzy) es una extensión de la lógica clásica que permite manejar la incertidumbre…
Lógica Paraconsistente
Lógica Paraconsistente La lógica paraconsistente es una rama de la lógica no clásica que se caracteriza por su capacidad para…
Lógica Intuicionista
Lógica Intuicionista La lógica intuicionista es una forma de lógica no clásica que se fundamenta en la concepción de que…