El trabajo del proyecto se centró en distintos tipos de álgebras multivaluadas, así como en otras estructuras matemáticas relacionadas.
The focus was on different classes of many-valued algebras as well as other related mathematical structures.
Por ejemplo, los automorfismos de las álgebras multivaluadas libres están conectados intrínsecamente con el grupo lineal afín general sobre los enteros.
For example, automorphisms of free many-valued algebras are intrinsically connected with the general affine linear group over the integers.
Los homónimos difieren de las palabras multivaluadas con las siguientes características
Homonyms differ from multivalued words with the following characteristics
Dicho método permite, en ciertos casos, definir un conjunto de conectivas multivaluadas asociadas al predicado.
This method allows, in some cases, to reach a set of multivalued connectives associated to the predicate.
Palabras multivaluadas que adquieren un color emocional cuando se usan como metáfora
Multivalued words that acquire emotional color when used as a metaphor
Las lógicas multivaluadas ofrecen herramientas conceptuales para describir formalmente la información difusa, vaga o incierta.
Many-valued logics offer conceptual tools for the formal description of fuzzy, vague and uncertain information.
A continuación, los investigadores aplicaron estas dualidades al estudio de problemas abiertos, como la caracterización de álgebras multivaluadas proyectivas generadas finitamente.
Researchers then applied these dualities to the study of open problems such as the characterisation of finitely generated projective many-valued algebras.
A continuación, se obtuvo la dualidad de álgebras multivaluadas presentadas finitamente y poliedros racionales a partir de la especialización de este tipo de adjuntos.
The duality of finitely presented many-valued algebras and rational polyhedra was then obtained by specialising such an adjunction.
Los investigadores identificaron qué partes de la teoría de las álgebras multivaluadas son necesarias para establecer estos resultados, pensando en futuras aplicaciones a otras variedades algebraicas.
The researchers identified which parts of the theory of many-valued algebras are needed to establish these results, with an eye on future applications to other algebraic varieties.
Estos fenómenos lingüísticos son multifacéticos y complejos, por lo que es necesario clasificar los homónimos y las palabras multivaluadas desde diferentes puntos de vista, teniendo en cuenta no solo los signos léxicos, sino también los gramaticales.
These linguistic phenomena are multifaceted and complex, therefore it is necessary to classify homonyms and multivalued words from different points of view, taking into account not only lexical signs, but also grammatical ones.
La FEP es una propiedad clave, por una parte, para que las fórmulas canónicas funcionen y, por otra parte, para establecer vínculos entre lógicas subestructurales y multivaluadas.
On the one hand, FEP is a key property for canonical formulas to work and, on the other, to establish links between substructural and many-valued logics.
La generalización del adjunto dual clásico entre ideales de polinomios y variedades afines a álgebras multivaluadas proporcionó un adjunto para estas últimas con espacios de Tychonoff.
Generalisation of the classical dual adjunction between ideals of polynomials and affine varieties to many-valued algebras provided an adjunction of the latter with Tychonoff spaces.
En particular, las álgebras multivaluadas, el equivalente semántico de la lógica para valores infinitos de Łukasiewicz, han llamado la atención de los investigadores.
In particular, many-valued algebras - the semantic counterpart of Łukasiewicz's infinite-valued logic - have attracted the attention of researchers.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
