Buscar
Mostrando ítems 1-10 de 33
Gr?ficos existenciales gama, modelos de Kripke y Haces
(Ibagu? : Universidad del Tolima, 2018(CO COL 170), 2019)
Referência, necessidade e ciência: um estudo do essencialismo científico de Saul Kripke
(Universidade Federal de São Paulo (UNIFESP), 2012-11-09)
Em janeiro de 1970, Saul Kripke proferiu três conferências na Universidade Princeton.
A transcrição dessas conferências foi publicada em 1980 como Naming and Necessity. Nessa
obra, Kripke critica o descritivismo, explicação ...
Omitting types and w-categoricity for linear kripke sheaves
(UniandesMaestría en MatemáticasFacultad de CienciasDepartamento de Matemáticas, 2017)
"Kripke semantics constitutes a correct and complete system for intuitionistic logic (concretely for Heyting's calculus), nevertheless there are few approaches exploring model theoretical questions in this context. Based ...
Una contribución a la teoría de modelos de kripke para el intuicionismo
(Boletín de Matemáticas, 2003)
Se estudia la semántica de Kripke para la lógica intuicionista.En primer lugar se encuentra una amplia clase de órdenes para los cuales el teorema sobre la existencia de modelos de Kripke de teorías intuicionistas consistentes ...
Uma Solução para o Refinamento de Modelos KMTS Baseado em Verificação de Modelos com Jogos
(Instituto de MatemáticaPGCOMP - Programa de Pós-Graduação em Ciência da ComputaçãoUFBABrasil, 2016-05-05)
A revisão de modelos é uma técnica baseada na teoria de revisão de crenças, que tem como princípio modificar minimamente os modelos de forma a satisfazer uma dada propriedade. A revisão de modelos pode ser combinada com ...
Sobre referencia y causalidad.
(Universidad del Zulia, 2013)