Algebraic caractérisations of NTIME and NTIME
Algebraic closure in continuous logic.
Algebraic de Morgan's laws for non-commutative rings
Algebraic dimension over Frobenius fields.
Algebraic equivalence of ordinal numbers
Algebraic equivalences over fuzzy quantities
Algebraic models of intuitionistic theories of sets and classes.
Algebraic Numbers
This article provides definitions and examples upon an integral element of unital commutative rings. An algebraic number is also treated as consequence of a concept of “integral”. Definitions for an integral closure, an algebraic integer and a transcendental numbers [14], [1], [10] and [7] are included as well. As an application of an algebraic number, this article includes a formal proof of a ring extension of rational number field ℚ induced by substitution of an algebraic number to the polynomial...
Algebraic properties of pre-logics
Algebraic real analysis.
Algebraically closed and existentially closed substructures in categorical context.
Algebraicity of endomorphisms of some relational structures
Algebras difusas.
En este trabajo se propone una estructura de álgebra difusa (borrosa) basada en la distinción entre difusidad extensiva y comprehensiva, desarrollando y conectando los trabajos de Nahmias sobre variables difusas, de Klement sobre medibilidad difusa y de Nowakowska sobre estructuras de conceptos.
Algebras on subintervals of BL-algebras, pseudo BL-algebras and bounded residuated -monoids
Algèbre du calcul propositionnel trivalent de Heyting
Algèbres de Lukasiewicz symétriques
Algèbres graphiques (sur un concept de dimension dans les langages formels)
Algorithmes d'élimination des quantificateurs
Algorithmic Constructions Inspired By Caporaso
Algorithmic constructions inspired by Caporaso.