Buscar
Mostrando ítems 1-6 de 6
Logic TK: algebric notions from Tarski's consequence operator
(2010)
Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence ...
Ecuaciones para retículos distributivos con cuantificador
(Universidad Nacional de ColombiaBogotá - Ciencias - Maestría en Ciencias - MatemáticasFacultad de CienciasBogotá, ColombiaUniversidad Nacional de Colombia - Sede Bogotá, 2023)
Este trabajo aborda el estudio de los Q-retículos distributivos, generalizaciones de las álgebras Booleanas monádicas. Mediante resultados de dualidad basados en el trabajo de Stone, Priestley y Halmos se muestra que las ...