La noción de sistema deductivo (compatible) de un pulex está definida y se investigan algunas propiedades de los sistemas deductivos. También definimos una relación de congruencia en un pulex y mostramos que hay una correspondencia biyectiva entre los sistemas deductivos compatibles y las relaciones de congruencia. Definimos el álgebra cociente inducida por un sistema deductivo compatible y estudiamos sus propiedades.
Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.
Artículo:
El modelo mixto particionado del método de los elementos finitos y el método de los elementos de tensión de interfaz con forma arbitraria de elemento de bloque discreto
Artículo:
Geometría de las soluciones de la ecuación de inducción localizada en el espacio pseudo-galileano.
Artículo:
Predicción del futuro deterioro de estructuras de acero hidráulicas con cadenas de Markov y muestras multivariadas de distribuciones estadísticas.
Artículo:
Estabilidad orbital de ondas solitarias viajeras de amplitud moderada
Artículo:
Extensión del Lema de Nunokawa para Funciones con Segundo Coeficiente Fijo y sus Aplicaciones