Biblioteca122.294 documentos en línea

Artículo

Compatible Deductive Systems of PulexesSistemas deductivos compatibles de Pulexes

Resumen

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.

  • Tipo de documento:
  • Formato:pdf
  • Idioma:Inglés
  • Tamaño: Kb

Cómo citar el documento

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.

Este contenido no est� disponible para su tipo de suscripci�n

Información del documento