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…
Etiqueta: lógica filosófica
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…