Un operador de Sheffer en la Lógica IGR3

Abstract

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²).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²).