Buscar
Mostrando ítems 1-3 de 3
Dominions and Primitive Positive Functions
(Association for Symbolic Logic, 2018-03)
Let A <= B be structures, and K a class of structures. An element b in B isdominated by A relative to K if for all C in K and all homomorphisms g,g´ : B -> C such that g and g´ agree on A, we have g = g´. Our main theorem ...
A uniform framework for substructural logics with modalities
(Easy Chair, 2017-05-04)
It is well known that context dependent logical rules can be problematic both to implement and
reason about. This is one of the factors driving the quest for better behaved, i.e., local, logical
systems. In this work we ...
Metodología para evaluar el impacto de estrategias orientadas a incentivar la difusión de innovaciones energéticas limpias a partir de la influencia social
(Medellín - Minas - Doctorado en Ingeniería - SistemasUniversidad Nacional de Colombia - Sede Medellín, 2020-08-06)
El análisis de los mecanismos que permitan incentivar la difusión de innovaciones energéticas limpias es un tópico actual de investigación. A pesar de que en la literatura es posible identificar trabajos que han modelado ...