I3-∇ algebras
Palabras clave:
Algebraic study, calculus of Lukasiewicz (es)Descargas
In this note we present an algebraic study of a fragment of the three-valued propositional calculus of Lukasiewicz, that is, we study from an algebraic standpoint the three-valued calculus where the characteristic matrix is given by the chain T = {0,1/2,1} and the connectives → (Lukasiewicz implication) and ∇ (possibility operator are given by the tables:
Descargas
Los datos de descargas todavía no están disponibles.
Licencia
Derechos de autor 1983 Revista Colombiana de Matemáticas

Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.