Las semánticas más populares para las Lógicas Intermedias

Ponente(s): Miguel Pérez Gaspar, José Arrazola Ramírez, Verónica Borja Macías
Las lógicas Proposicionales Intermedias son conjuntos de fórmulas cerradas con respecto a modus ponens y sustitución que además son extensiones de la Lógica Proposicional Intuicionista y están contenidas en la Lógica Proposicional Clásica. Estas lógicas pueden caracterizarse mediante herramientas semánticas. Las semánticas más populares para las Lógicas Intermedias son la semántica algebraica y la semántica de marcos de Kripke. La primera tiene un rol fundamental, ya que toda Lógica Proposicional Intermedia se caracteriza mediante una semántica algebraica. La semántica de Kripke se introdujo para estudiar sistemas modales, posteriormente se presentó como una herramienta para describir Lógicas Proposicionales Intermedias.