Buscar
Mostrando ítems 1-10 de 41
Notas sobre teorías intensionalesNotes on intensional theories
(Universidad de Caldas, 2011)
Solving a Special Case of the Intensional vs Extensional Conjecture in Probabilistic Databases
(Association for Computing Machineryacmhelp@acm.org, 2020)
O paradoxo da análise: uma abordagem epistemológica
(Pontifícia Universidade Católica do Rio Grande do SulPorto Alegre, 2010)
There are at least two forms of the paradox of analysis. One of these puzzling situations occurs in a non-intensional context, the other in a intensional context, that of the predicate ‘… analyzes…’. However, these paradoxical ...
O paradoxo da análise: uma abordagem epistemológica
(Pontifícia Universidade Católica do Rio Grande do SulPorto Alegre, 2010)
There are at least two forms of the paradox of analysis. One of these puzzling situations occurs in a non-intensional context, the other in a intensional context, that of the predicate ‘… analyzes…’. However, these paradoxical ...
Completeness in hybrid type theory
(2014)
We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are ...
Centro de integracion deportiva: un espacio de intenciones colisivas
(Universidad de los AndesArquitecturaFacultad de Arquitectura y DiseñoDepartamento de Arquitectura, 2022)
Guiada por la idea de una ciudad creada a partir de espacios que toleren las diferencias, nace un proyecto de intensiones colisivas en donde el encuentro de las diferencias entre dos barrios sea un dialogo. Esto a partir ...
What can I know about school? Notes on the notion of criticismQue posso conhecer sobre escolas? Notas sobre a noção de crítica
(Universidade Federal de Santa Maria, 2022)
Obtenção de respostas baseadas em casos a partir de árvores de prova
(Universidade Federal de Minas GeraisUFMG, 2008-07-18)
This dissertation investigates the set of answers to existentially quantified questions in the context of a system that represents its deductions by proof trees. In particular, in those situations in which a disjunctive ...