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

Simple item page
dc.audiencegeneralPublices_MX
dc.contributorArrazola Ramírez, José Ramón Enrique
dc.contributor.advisorARRAZOLA RAMIREZ, JOSE RAMON ENRIQUE; 15968
dc.contributor.authorPerez Gaspar, Miguel
dc.creatorPEREZ GASPAR, MIGUEL; 485833
dc.date.accessioned2020-06-04T16:46:05Z
dc.date.available2020-06-04T16:46:05Z
dc.date.issued2014-11
dc.description.abstract"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".es_MX
dc.folio771714Tes_MX
dc.formatpdfes_MX
dc.identificator1es_MX
dc.identifier.urihttps://hdl.handle.net/20.500.12371/6477
dc.language.isospaes_MX
dc.matricula.creator212470819es_MX
dc.publisherBenemérita Universidad Autónoma de Pueblaes_MX
dc.rights.accesopenAccesses_MX
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0es_MX
dc.subject.classificationCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRAes_MX
dc.subject.lccLenguajes formales--Semánticaes_MX
dc.subject.lccSemántica--Modelos matemáticoses_MX
dc.subject.lccLógica simbólica y matemáticaes_MX
dc.subject.lccÁlgebraes_MX
dc.subject.viafKripke, Saul A., 1940-es_MX
dc.thesis.careerMaestría en Ciencias (Matemáticas)es_MX
dc.thesis.degreedisciplineÁrea de Ingeniería y Ciencias Exactases_MX
dc.thesis.degreegrantorFacultad de Ciencias Físico Matemáticases_MX
dc.thesis.degreetoobtainMaestro (a) en Ciencias (Matemáticas)es_MX
dc.thesis.degreetoobtainMaestro (a) en Ciencias (Matemáticas)es_MX
dc.titleSemánticas Algebraicas y de Kripke para lógicas intermediases_MX
dc.typeTesis de maestríaes_MX
dc.type.conacytmasterThesises_MX
dc.type.degreeMaestríaes_MX
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
771714T.pdf
Size:
866.89 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Tesis de Maestría