UNA DUALIDAD DISCRETA PARA LAS ALGEBRAS

DE
LUKASIEWICZ TRIVALENTES
ALDO V. FIGALLO * GUSTAVO PELAITAY**

Abstract. En esta nota describimos una dualidad discreta para las

algebras
de Lukasiewicz trivalentes.

1. Preliminares
El objetivo principal de este trabajo es dar una dualidad discreta para las
algebras de Lukasiewicz trivalentes. Para esto extenderemos la dualidad discreta
dada en [1], para las
algebras de Kleene. Recordemos que un algebra hL, , ,
, 0, 1i es un
algebra de Kleene si hL, , , 0, 1i es un retculo distributivo acotado
y es una operaci
on unaria sobre L que satisface las identidades:
(1)
(2)
(3)
(4)

(x y) = x y,
x = x,
0 = 1,
x x y y.

A continuaci
on recordaremos la dualidad discreta descripta en [1], para las
algebras de Kleene.
Sea hX, i un preorden y U X, en lo que sigue notaremos con []U al
conjunto {x X : y, x y y U }. En particular, si U es el conjunto
unitario {x} lo notaremos por [x). Ademas, para cada Y X, denotaremos por
[Y ) ((Y ]) al conjunto {x X : y Y (y x)} ({x X : y Y (x y)}).
Por otra parte, un marco de Kleene es una estructura hX, , gi, donde hX, i
es un preorden y g : X X es una funcion tal que
(1) g(g(x)) = x,
(2) si x y, entonces g(y) g(x),
(3) x g(x) o g(x) x.
1991 Mathematics Subject Classification. Primary 06D30, 06D50; Secondary 03B44.
Key words and phrases. nvalued LukasiewiczMoisil algebras, tense LukasiewiczMoisil
algebras, tense operators, discrete duality.
The support of CONICET is gratefully acknowledged by Gustavo Pelaitay.
1

ALDO V. FIGALLO AND GUSTAVO PELAITAY

Sea hL, , , , 0, 1i un
algebra de Kleene y sea X (L) el conjunto de todos los
filtros primos de L. Es bien sabido que hX (L), c , g c i es un marco de Kleene,
donde c es y g c : X (L) X (L) es la involucion, definida por
g c (S) = {x L : x
/ S}, para todo S X (L).

(1.1)
c

Adem
as, si hX, , gi es un marco de Kleene, entonces hC(X), , , , , Xi es
un
algebra de Kleene, donde C(X) = {U X : []U = U } y c : C(X) C(X)
est
a definida por
c U = X \ g(U ), para todo U C(X).

(1.2)

Estos resultados permiten obtener una dualidad discreta para las algebras de
Kleene definiendo los sumergimientos siguientes:
(E1) h : L C(X (L)), definida por h(a) = {M X (L) : a M },
(E2) k : X X(C(X)), definida por k(x) = {U C(X) : x U }.
lgebras
2. Una dualidad discreta para las LM3 a
Un
algebra de Lukasiewicz trivalente (o LM3 algebra) es un algebra
hL, , , , , 0, 1i
de tipo (2, 2, 1, 1, 0, 0) que satisface:
(i) El reducto hL, , , , 0, 1i es un algebra de Kleene,
(ii) La operaci
on  cumple las identidades:
(L1) a a = 1,
(L2) a a = a a.
Definition 2.1. Un LM3 marco es una estructura hX, , g, Ri donde hX, , gi
es un marco de Kleene y R es una relacion binaria sobre X que satisface
(K1) R reflexiva,
(K2) ( R ) R,
(K3) si (x, y) R, entonces x y o g(x) y.
(K4) g(x) R(x), para todo x X.
Definition 2.2. El
algebra compleja de un LM3 marco hX, , g, Ri es una
estructura
hC(X), , , c , c , , Xi
donde hC(X), , , c , , Xi es el algebra compleja del marco de Kleene hX, , gi
y para todo U C(X), c (U ) = {x X : R(x) U }.
Definition 2.3. El marco canonico de un algebra de Lukasiewicz trivalente L
es
hX (L), c , g c , Rc i


UNA DUALIDAD DISCRETA PARA LAS ALGEBRAS
DE LUKASIEWICZ TRIVALENTES3

donde hX (L), c , g c i es el marco canonico del reducto de Kleene de L y para

cada S, T X (L),
(S, T ) Rc 1 (S) T.
Lemma 2.1. El marco can
onico de un
algebra de Lukasiewicz trivalente es un
marco de Lukasiewicz trivalente.
Proof. Solo debemos probar (K1) a (K4).
(K1): Sea S X (L) y supongamos que x 1 (S). Entonces, x S. Dado
que x x, tenemos que x S. Por lo tanto, 1 (S) S, esto es, (S, S) Rc .
(K2): Sean (P, F ) (c Rc c ). Entonces, existe T, S X (L) tal que P T ,
(T, S) Rc y S T . De estas dos u
ltimas afirmaciones tenemos que 1 (T )
F . Por lo tanto, dado que P T inferimmos que (P, F ) Rc .
(K3): Sean P, Q X (L) tal que (P, Q) Rc . Supongamos que P 6 Q y
g(P ) 6 Q. Entonces P g(P ) 6 Q, pues Q es un filtro primo. As existe
a P g(P ) y a
/ Q. Entonces a
/ P . Como a a = a a, y
a P , tenemos que a
/ P . As, a g(P ). Dado que a a = 0,
a
/ g(P ), es decir, a P . As, a Q, pues (P, Q) Rc , lo cual es una
contradicci
on.
(K4): Sea P X (L). Si (P, g(P ))
/ Rc , entonces existe a L tal que a P
ya
/ g(P ). As, a a = 0 P , lo cual es una contradiccion.

Lemma 2.2. El
algebra compleja de un marco de Lukasiewicz trivalente es un
algebra de Lukasiewicz trivalente.

Proof. De [1], C(X) es cerrado bajo las operaciones de retculo y c . Ahora,

probaremos que es cerrado bajo c i.e., c U = []c U . De la reflexividad de
, tenemos que []c U c U . Supongamos que x c U . Sea y X tal que
x y y tomemos un z X que verifique (y, z) R. Entonces, de la reflexividad
de y (K2) inferimos que (x, z) R. As, z U y por lo tanto, x []c U .
Por lo tanto, c U []c U . Es claro que C(X) es un algebra de Kleene. Ahora
probaremos que se verifican (L1) y (L2).
(L1): Supongamos que U c U 6= . Entonces, existe y U tal que
R(y) U . Dado que g(y) R(y), tenemos que g(y) U , lo cual es una
contradicci
on. Por lo tanto, U c U = .
(L2): Es consecuencia directa de (K3).

Ahora probaremos que el sumergimiento h : L C(X (L)), definido en (E1),
preserva el operador unario , esto es,
Lemma 2.3. Para cada a L, h(a) = (h(a)).

ALDO V. FIGALLO AND GUSTAVO PELAITAY

Proof. Sea F h(a); entonces a F . Supongamos que P X (L) verifica que (F, P ) Rc . Entonces, 1 (F ) P y as, a P . Por lo tanto,
F c (h(a)) de donde inferimos que h(a) c (h(a)). Recprocamente,
supongamos que F c (h(a)). Entonces para cada P X (L), (F, P ) Rc
implica que P h(a). Supongamos que a
/ F . Entonces 1 (F ) es un filtro
1
y a
/  (F ). Luego, existe T X (L) tal que a
/ T y 1 (F ) T . Esta
u
ltima afirmaci
on nos permite concluir que (F, T ) Rc . De esta afirmacion
tenemos que T h(a) y as, a T , lo cual es una contradiccion. Por lo tanto,
h(a) = c (h(a)). Por lo tanto, en virtud de los resultados establecidos en [1]
la prueba est
a completa.

El Lema 2.4 probaremos que el sumergimiento de orden k : X X (C(X))
definido en (E2), preserva la relacion R.
Lemma 2.4. Sea hX, , g, Ri un LM3 marco y sean x, y X. Entonces
(x, y) R si, y s
olo si, (k(x), k(y)) Rc .
Proof. Supongamos que (x, y) R y sea U C(X) que verifica c U k(x).
Entonces es f
acil ver que y U y as, (k(x), k(y)) Rc . Recprocamente, sean
x, y X tales que (k(x), k(y)) Rc . Entonces c 1 (k(x)) k(y). Por otra
parte, notemos que [](X \ (y]) C(X) y y
/ [](X \ (y]). Por lo tanto,
[](X \ (y])
/ k(y) y as, [](X \ (y])
/ c 1 (k(x)). Por lo tanto, c ([
](X \ (y]))
/ k(x) de donde podemos inferir que x
/ c ([](X \ (y])). Entonces
existe z tal que (x, z) R y z
/ [](X \ (y]). De esta u
ltima afirmacion existe
w tal que z w y w y, lo cual nos permite inferir que z y. Entonces, en
virtud de la reflexivdad de y (K2), (x, y) R como queramos.


Por lo tanto, tenemos una dualidad discreta entre LM3 algebras y LM3
marcos.
Theorem 2.1.
algebra se puede sumergir en el
algebra compleja de su marco
(a) Cada LM3
can
onico.
(b) Cada LM3 marco se puede sumergir en el marco can
onico de su
algebra
compleja.

References
[1] W. Dzik, E. Orlowska and C. van Alten, Relational representation theorems for general lattices with negations, Relations and Kleene algebra in computer science, 162176,
Lecture Notes in Comput. Sci., 4136, Springer, Berlin, 2006.


UNA DUALIDAD DISCRETA PARA LAS ALGEBRAS
DE LUKASIEWICZ TRIVALENTES5

sicas
* Instituto de Ciencias Ba
Universidad Nacional de San Juan
Avda. Ignacio de la Roza 230 (O)
5400 San Juan
Argentina
E-mail address: avfigallo@gmail.com
tica
** Departamento de Matema
Universidad Nacional del Sur
Avda. Alem 1253
8000 Baha Blanca
Argentina
E-mail address: gpelaitay@gmail.com