Buscar
Mostrando ítems 1-6 de 6
Monotonic modal logics with a conjunction
(Springer, 2021-11)
Monotone modal logics have emerged in several application areas such as computer science and social choice theory. Since many of the most studied selfextensional logics have a conjunction, in this paper we study some ...
Remarks on general monotonic neighbourhood frames
(Old City Publishing Inc, 2015-08)
In this paper we shall discuss some classes of general monotonic neighbourhood frames, or general m-frames. We shall study the classes of point-compact, image compact and replete general m-frames, and the relationships ...
Monotonic Distributive Semilattices
(Springer, 2019-11)
In the study of algebras related to non-classical logics, (distributive) semilattices are always present in the background. For example, the algebraic semantic of the {→, ∧, ⊤}-fragment of intuitionistic logic is the variety ...
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 ...
Generación de trayectorias para un robot de 3GDL aplicado al corte en confección textil
(Universidad Nacional de ColombiaBogotá - Ingeniería - Maestría en Ingeniería - Automatización IndustrialDepartamento de Ingeniería Eléctrica y ElectrónicaFacultad de IngenieríaBogotá, ColombiaUniversidad Nacional de Colombia - Sede Bogotá, 2021-10-15)
En la ejecución de actividades para confección textil, es necesario tomar las materias primas y transformarlas en piezas. Usualmente la tela es la materia prima que compone la mayor parte del producto final, cuya primera ...