Un operador de Sheffer en la Lógica IGR3

• Oscar R. Pino Ortiz ^[2] ; Zonia K. Morales Salomón ^[1]
  1. [1] Universidad Mayor de San Simón

     Universidad Mayor de San Simón

     Bolivia

     
  2. [2] Universidad Católica Boliviana
• Localización: Acta Nova, ISSN 1683-0768, Vol. 7, Nº. 1, 2015, págs. 61-77
• Idioma: español
• Títulos paralelos:
  • A Sheffer operator in IGR3-Logic
• Enlaces
  • Texto completo
• Resumen
  • español

    Una vez explicitado el nexo entre los operadores de una lógica p-multivaluada (p primo) y el anillo de polinomios Zp[x,y], se demuestra de forma algébrica que la lógica a 3 valores IGR3 admite como operador de tipo Sheffer al operador [x;y] = 1 + 2(x²y + xy²).

  • English

    Defined a functor from a p-multivalued logic (p prime) and the polynomial ring Zp[x,y], it is demonstrated by algebraic arguments the existence of a Sheffer operator in the 3-valued logic IGR3: [x; y] = 1 + 2(x²y + xy²).