Buscar
Mostrando ítems 1-10 de 88
Sobre a compacidade lógica e topológica
(2013)
Os ambientes da L´ogica e da Topologia tˆem a compacidade como uma propriedade importante. Nos dois diferentes contextos as no¸c˜oes de compacidade s˜ao diversas. Na l´ogica, dizemos que um conjunto de f´ormulas ∆ ´e ...
Compacidad y normalidad topológicas en el campo de las lógicas abstractas
(UniandesMatemáticasFacultad de CienciasDepartamento de Matemáticas, 2008)
Estudio de una dualidad topológica para semirretículos distributivos con operadores modales monótonos y sus aplicaciones
(2019-03-29)
En el estudio de las álgebras relacionadas a las lógicas no-clásicas, los semirretículos (distributivos) están siempre presentes. Por ejemplo, la semántica algebraica del fragmento {→, ∧, T} de la lógica intuicionista modal ...
Optimización estructural y arquitectónica desde lógicas topológicas a soluciones constructivas de arquitectura en tierra en Pelaya Cesar
(Revista Boletín RedipeBogotá, Colombia, 2020-04-01)
La investigación se centra en la problemática actual de los sistemas constructivos basados en acero y concreto con alto valor contaminante que han remplazado en gran medida el uso de materiales vernáculos como la tierra ...
Optimización estructural y arquitectónica desde lógicas topológicas a soluciones constructivas de arquitectura en tierra en Pelaya Cesar
(Revista Boletín RedipeBogotá, Colombia, 2020-04-01)
La investigación se centra en la problemática actual de los sistemas constructivos basados en acero y concreto con alto valor contaminante que han remplazado en gran medida el uso de materiales vernáculos como la tierra ...
Optimización estructural y arquitectónica desde lógicas topológicas a soluciones constructivas de arquitectura en tierra en Pelaya Cesar
(Revista Boletin RedipeBogota , Colombia, 2020-04-01)
La investigación se centra en la problemática actual de los sistemas constructivos basados en acero y concreto con alto valor contaminante que han remplazado en gran medida el uso de materiales vernáculos como la tierra ...
Confrontando propriedades lógicas em um contexto de lógica universal
(2014)
This paper presents a definition of universal logic in a strictly settheoretic environment and compares logical and topological properties in this abstract environment. From these properties, we verify the etymology of the ...