Título

Semánticas Algebraicas y de kripke para lógicas intermedias

Autor

MIGUEL PEREZ GASPAR

Colaborador

JOSE RAMON ENRIQUE ARRAZOLA RAMIREZ (Asesor de tesis)

Nivel de Acceso

Acceso Abierto

Licencia

http://creativecommons.org/licenses/by-nc-nd/4.0

Materias

Lenguajes formales--Semántica - (LCC) Semántica--Modelos matemáticos - (LCC) Lógica simbólica y matemática - (LCC) Álgebra - (LCC) CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA - (CTI)

Resumen o descripción

"Las lógicas proposicionales intermedias son conjuntos de fórmulas cerrados con respecto a modus ponens y substitución que 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 semántica algebraica 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 y posteriormente se presentó como una buena herramienta para describir lógicas proposicionales intermedias"

Benemérita Universidad Autónoma de Puebla

Fecha de publicación

noviembre de 2014

Tipo de publicación

Tesis de maestría

Recurso de información

https://hdl.handle.net/20.500.12371/6477

Formato

application/pdf

Idioma

Español

Audiencia

Público en general

Repositorio Orígen

Repositorio Institucional de Acceso Abierto RIAA-BUAP

Descargas

0