Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Facultad de Matemáticas
Departamento de Matemáticas
Programa (le Doctorado en Matemáticas
ALGEBRIZABILIDAD DEBILITANDO
ESTRUCTURALIDAD
Enero 2002
Santiago, Chile
Agradecimientos.
1. Introducción 1
2. Preliminares 3
2.1. Operadores de clausura y sistemas de clausura . . . . . . . . . . . 3
2.2. Lógicas. matrices y lógicas abstractas . . . . . . . . . . . . . . . . 4
2.3. Lógicas Anotadas . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
4. HR-algebrizabilidad. 47
A. Demostraciones anexas. 73
Bibliografía. 82
u
INDICE GENERAL
Resumen
El objetivo de esta tesis es establecer una noción de algebrizabilidad de una
lógica sin requerir su estructuralidad. Para ello se extienden las nociones liabi-
tuales (le Lógica Algebraica Abstracta a generalizaciones de lógicas y matrices,
en sentido de estructuralidad, de multi-dimensionalidad, (le deducción infini-
tana, y de sistemas de clausura. Se obtuvo una generalización del proceso de
algebrización cercana a lo habitual, y como consecuencia adicional se tiene una
unificación de distintas versiones (le Lógica Algebraica Abstracta.
Capítulo 1
Introducción
Preliminares
1. BCC(B)
2. D C B implica C(D) (B)
3. C(C(B))CC(B)
4. El operador es algebraico (o también finitario) si además cumple: C(B) =
U{C(Bi ) : B f B con B 1 finito
3
22 LOGICÁS. MATRICES Y LOGIC.LS ÁBSTR.1CTÁS.
22
LÓGICAS. .\L4TRICES Y LÓGICAS ABSTRACTAS. 7
Las Lógicas Anotadas, tal como fueron presentadas por Da Costa. Subraha-
inanian y Vago en [17], son el ejemplo del (lije parte esta tesis. va que, como se
indicó en la introducción, además de su valor intrínseco y sus aplicaciones, al
110 ser estructurales quedan fuera del ámbito de Lógica Algebraica Abstracta, y
.. Paréntesis '( ", j", aunque también se usarán ]". 1' . 1 " y } ".
igual a i y 0 fórmula. tales que &, = o —+ ( p : U JEJI L J) y tal que para j E J las
fórmulas o — (p : R 3 ) aparecen antes que en la sucesión'. Equivalentemen-
te, se puede considerar que cada etapa de la demostración de a partir de U
está (lada por su contraparte cii términos de TI¿,,; O.
Un conjunto U de fórinula.s se dice trivial si Tu,,; (U) = amI. y se dice
inconsistente si existe una fórmula t: tal que 1 i,'. E Th s (1.').
u
Cuando T es finito j)o(lelnos reemplazar la regla (T3 ), por el axioma
(r:i )' ( p : i) A... A (p: jik)(p: E Th8(0).
Capítulo 3
Sistemas proposicionales
finito-dimensionales
13
13
• 2-*3: Sea FC
Claramente por 2 se tiene ' [Th s (o[F])] E Th . y como r
Gr- '[a[F1] . ¿7' [[f]} ç [Th s (a[F])], entonces Th s (F). la me-
nor teoría que contiene a r. está contenida en 1 [Th
s es decir.
A. (a[F])],
17
J(p
rl:
(p:T)
f)
(p t )
,'
—+ -m(q:T)
—+
k(q:T)
(p:±) 1,'
Ver demostración A en apéndice A.
El siguiente es el ejemplo más importante de sistema deductivo 2-dimensional,
ya que para la noción de algebrizabilidad es fundamental.
Ejemplo 3.
/- i} ç IM } E If(Cm)
Th (7r 1 [F]) Ç T,
1<71
obtieniéndose la igualdad.
21
((p:T)((p:f)q:t)))((p:T)(q:t)) (p:T)(q:t))
h3 : MP 1)1 y k2 b1: HP b 0 y h3
c9: MP co y c
Ahora están todos los elementos para "mezclar" esas tres de-
mostraciones en una demostración (( .... . (6) (le E desde 5 usando
(Ax, fu):
• Una congruencia & (le! álgebra A es compatible con F C 1 Al" si para tO(lOS
a. b k-elernentos de A se ('limpie que si a E F y para todo i < k, si n i 0 b,
entonces b E F.
nQ A(F)
zEl
A( flEl Fa).
J
+4VhEH.L!i(Q)Efl{FEC'.Lh[r]CF}
44 VhEH.L aEfl{h'[F] FEC.LvFCh'[F]}
-cE flL fl{hF] : FEC.Lvrch-1[F]}
Ji El!.
4cEfl{h_L[F] :hEH.LvFEC.Lvrch'[F]}
-*oEfl{r'Ec : FÇF'}
ct E C'(r)
2. Como C' está generado por U LEL C¿,,,,, entonces F' E CL si y sólo
si existen l,{ILj EL : iEI}v{r 1 EC L, : iel} tales que r'=
fl E¡
Entonces se tiene:
VLEL VhEH.L VFEC.L h(o)EC L (h[f])4-
-+VLEL I''HLa
44VLEL aEfl{rLEcrcrL}
f+OE flfl{rLEc' :L'Ci'L}
LEL
EQEfl{I1ECL :rCl"}
E
Definición 8. Sea S k un sistema proposicional k-dimensional. Entonces M5.
es la clase de todos los modelos de S k
.
1. LC Al. k.
f=qo7 Y
g = foó.
Sea Pr una Lógica Anotada. Ha y que recordar que lc( m) tiene cardinalidad
infinita numerable. Sea para cada r y cada A álgebra del tipo de Pr el conjunto
1 Al' de todas las funciones de r en 1 Al:
h(p: ji) = d(ji) para todos ji E r y p E le( m) tal que la imagen por b de
la clase de p es d E D.
• .r-+yx—(yAq)
¿Trivial'? 1 ¿Sobrevectiva?
Si Si
992 Si No
22 No Si
No No
Las 280 distribuciones triviales y sobrevectivas no se incluirán en las des-
cripciones siguientes. Una descripción más detallada por grupos de las demás,
incluyendo el recorrido, y con un diagrama adjunto, se da en el siguiente listado,
donde se adoptan las siguientes convenciones:
Su diagrama es
u---
u---.-
u----
-u---
-u--.-
u-.--- o
/
-u---
-u-
-------'----'-'-'-- 1.
T
u V
Una revisión de los cerrados que aparecen en cada grupo arroja 24 cerrados
de entre los 64 subconjuntos de 1 A, sin contar a 1 A l . Para cada uno de ellos
se pueden detallar los grupos de distribuciones que son compatibles con ellos.
formando 10 grupos denotados por F, i E {1,..., 10}:
{. Ay, xV y, £ — y) C B
xAy= (xAx)A(yAy).
xVy=(xAx)V(yA).
X —* y = ( x A x) — (y A y).
b -'---- / —1
¿fl
co
t-.---'-,-..--- u
1\ 0
¡d i Al
1
Al2
u /v
3.1. MODELOS PARA SISTEMAS PROPOSICIONALES. 15
fórmulas pertenece al recorrido (le algún inorfismo asociado (por ser el álgebra
de fórmulas totalmente libre). En particular. si el tipo del álgebra (le fórmulas
consta (le un conjunto de conectivos de menor ('ardinali(lad que la del conjun-
to de átomos (habitualmente ha y sólo una cantidad finita de conectivos, y se
asume aquí que todos ellos son finitarios). entonces para todo subconjunto del
álgebra de un modelo (le cardinalida(I no niavor que la car(linalida(l del álgebra
(le fórmulas existe un morfisino que contiene a tal subconjunto en su recorrido.
Entonces se necesita la siguiente definición. considerando esta restricción
sobre los modelos:
Definición 10. Un HR-álgebra 21 relativa a 7Yrn es localmente cubierta si para
todo B C 1.4.2LIde cardinal2dad no mayor que la cardinalidad de .4t existe
h E H.21 tal que B C h[ am) .
Para todo k tal que 1 < k <. se dirá que una HR k -lógica abstracta L es
localmente cubierta si y sólo si L lo es.
Si L es una clase de HR-álgebras o de HR' -lógicas abstractas. 1 < k < w.
entonces LC L denota la clase de HR-álgehra.s (respectivamente de HR k -lógicas
(¿b.stractas) localmente cubiertas de L.
u
En particular. L('
denota la clase (le modelos localmente cubiertos para
s. 1 <k <
Además, se tiene que para toda 21 HR-álgehra localmente cubierta relativa a
m, y 1 < k <, si F C JA.2tIk es de cardinalidad no ma yor que la cardinalidad
de .4t entonces considerando F := {a E 1.4.211 : 3b E F 3i < k a = b1 }, es
claro que F es de cardinalidad no ma yor que la cardinalidad de .4t (se asume
infinito), por lo que existe h E H.21 tal que E C h[ am], lo que implica que
F C / 41 I m "I1, es decir, el concepto de localmente cubierto se extiende a
subconjuntos de 1.4.211.
Por otra parte, es habitual en Lógica Algebraica Abstracta, aún bajo enfoque
inatricial. el considerar para un álgebra particular el sistema de clausura de todos
los subconjuntos tales que su preimagen por cada homnomnorfismo desde el álgebra
(le fórmulas en el álgebra es una teoría, llamado el sistema (le S-filtros (para
una lógica proposicional S). En particular, en el enfoque basado en lógicas
abstractas desarrollado por Font y .Jansana en [14], los modelos importantes
son aquellos cu y o reducto tiene por sistema (le clausura al sistema de todos los
S-filtros. llamados modelos llenos, así es que los modelos llenos reducidos son
exactamente aquellos modelos reducidos cuyo sistema de clausura es el sistema
de todos los S-filtros. Además, en términos de este trabajo, el conjunto de
morfismos asociados es maximal, en el sentido de que no hay más morfismos que
por preimagen lleven a todos los S -filtros en teorías; de hecho, los morfismos
asociados son todos los homomorfismos desde el álgebra de fórmulas en el álgebra
M modelo.
Respecto de los sistemas proposicionales k-dimensionales, si S k es uno de
ellos, con 1 < k < w, es claro que en tanto modelo (le SÍ mismo cumple con
que todo homomorfismo de íVm en su álgebra asociada (tn) compatible con
Capítulo 4
HR-algebrizabilidad.
i vi
1.1. EQCIVI4LE.VCL4 DE SISTEMAS PROPOSICIONALES. 49
.
Simplificando flotación, al aplicar consecutivamente una (k, 1)-traducción u y
una (1. k)-traducción p se omitirán los paréntesis cuadrados, es decir, si a E Im k.
entonces pu(a) abrevia a p[v(a)].
Nótese que S k y R l son equivalentes si existen dos interpretaciones u
p que satisfacen las cuatro condiciones siguientes para todos 1' u {a} mk .
u{fl} c m:
Th EQ(BÁ 2 si y sólo si o
(u[I']) (o ->(Y) CS una identidad de B.4 cuando
(y —* ) : E F} es un conjunto (le identidades de B.4. lo que a su vez
equivale a que a 1 es una identidad (le BA cuando { y 1 E F} es un
conjunto (le identidades (le DA. lo que finalmente equivale a que (1 E TIn-p (U)
Luego, u es una interpretación de CPC en EQ(BA)2.
Si ahora (0, 3 ) E aM2. entonces es claro que a 3 es un identidad de
DA si y sólo si (a -* 3) 1 es una identidad (le BA si y sólo si (a +- .1)
((a 3) (a -* 3)) es una identidad de DA. Luego. por lo comentado antes se
obtiene que Th EQ(BA) 2 ( ( o. 3 >) = Th EQ(RÁ ) 2 (vp( (a. 3))). De ello se concluye
que p es una inversa por derecha de u, lo que finalmente implica que CPC y
EQ(BA) 2 son equivalentes.
Dados 8k y R.', para denotar que son equivalentes usaremos la flotación:
ckfpl
L)
V[ Inf( 8k)] =
{{(v[r],u(a))} {(r,cr)} E Inf( Sk)}
1?. Si S k
L,,p
R'. entonces:
POP[Sk]
= R'. y
vup
=
.kvP
4 . Si 5 - entonces:
L E PÍ 8 si y sólo si pP [ ] E PM.?»
b) Para todo PM1 se cumple
1. p
k' ,
6. Si S entonces
a) Para todo LE LCAÍ k y todo F E C.L se cumple 9 L(F) =
b) Para todo M E LCjtf, y todo G E C.M se cumple 1 M(G) =
[f (D(G))
y ,p
7. Si Sk R', entonces
hoG={hog :9EG}
Hog={hog :hEH}
HoG={hog :hEHy9EG}.
1. End( L) o H. L = H. L = H. Lo S E( S k
s k 1'p
Proposición 4.2.5. Si S es un sistema proposicional k-dimensional HR-
algebrizable con g, entonces
• Para todos LE PM S k, y FE C.L
CL(ø) = a E 4 . Ll k : u(a) C id A L} =
2. Si R E Iiif (
Sk)
está generada por (F.). y (G.a) E R .4.L es tal que
G C F. con F E C. L entonces por definición existe h E Hom( m. .4. L)
tal que (G.a) = (h[r].h()).
Por ítem anterior se obtiene (aplicado a ) que existen y E H. L y
i E Horn( Im, m) tales que h = qo. y entonces [F] g[h[F}]
9 - '(F] E Th . Luego. por ser R estructural y por tanto (a[r], i(a) ) E
R. se obtiene a(o) E ,q - '[F], es decir, a = fi(o) = goo(o) E F. F es
entonces cerrado por R. lo que prueba que todo F E C. 1 es cerrado bajo
Inf(SÁ).
Con este Teorema se puede establecer claramente que para todo sistema
proposicional finito-dimensional estructural S k
Sk
• es HR-algebrizable si y sólo si S es a1gehrizahle' en un sentido
que extiende al dado en [4] pero sin exigir finitud.
Q(LF)EPMk
Demostración. Por proposición 4.23, hasta probar que para todos L E PAI S Al
vFEC.L, í L( F ) E Con AIgsk A.
Pero por lema previo se tiene que Q( L, F) E PM k, y . 4. ! ( L, F)
.4.L/í(F) = A/ L (F), es decir,9 L(F) E C Ofl AIgS k A.
E
Proposición 4.4.3. Si S k es HR-algebrizable, entonces para todo A del tipo
de 3m y todo 0 Con AIgsi A, existen ILE PMsk[A] y FE C.L tales que
O=
Más aún, Con AIg S . A = ULEp,I5,[A[C.L].
Col' AlS k A=
k [Al
FE—
Proposición 4.4.4. Si S es estructural y HR-algebrizable, entonces para
cualquier álgebra A del tipo de I m se cumple:
Demostraciones anexas.
3. Si a E SE, entonces para todo átomo anotado (p : ji) se tiene que a(p
ji) es hiperliteral. Luego, ninguna sustitución lleva átomos anotados en
fórmulas complejas, y por ser homomorfismos, tampoco llevan fórmulas
complejas en hiperliterales.
73
4.
3. Para todos a, 3. 'y E 1 ami y todo k E w, (, k 0 _,k E Thpr (ka _,k3 k8 ,k) c
Thp (p((a. 3))Up((3, y' ))), y por lo tanto p((a. 'y)) ThpT (p((a43))u
[21 \V. Biok and D. Pigozzi. Abstract a!gebraic logic and the deduction theo-
rem. Draft.
81