Álgebras de Wajsberg (N+1) - acotadas con operaciones adicionales /
Las álgebras de Wajsberg [A. J. Rodríguez, un estudio algebraico de los cálculos proposicionales de Lukasiewics, tesis doctora, Univ. de Barcelona, (1980)] son las estructuras algebraicas correspondientes al cálculo proposicional infinito valuado de Lukasiewics. A. J. Rodríguez determinó las subclas...
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , |
| Formato: | Libro |
| Idioma: | Spanish |
| Publicado: |
2000.
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 04049nam a22002775a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb007054 | ||
| 008 | 041125s2000####ag#a#####bm###000#0#spa#d | ||
| 005 | 20180612152203.0 | ||
| 245 | 1 | 0 | |a Álgebras de Wajsberg (N+1) - acotadas con operaciones adicionales / |c Marina Beatriz Lattanzi. |
| 260 | |c 2000. | ||
| 300 | |a vii,138 h. : |b il. ; |c 30 cm. | ||
| 500 | |a "Tesis de Doctorado en Matemática". | ||
| 500 | |a Director de tesis: Aldo V. Figallo. | ||
| 502 | |a Tesis(doctoral)--Universidad Nacional del Sur. Departamento de Matemática, 2000. | ||
| 520 | |a Las álgebras de Wajsberg [A. J. Rodríguez, un estudio algebraico de los cálculos proposicionales de Lukasiewics, tesis doctora, Univ. de Barcelona, (1980)] son las estructuras algebraicas correspondientes al cálculo proposicional infinito valuado de Lukasiewics. A. J. Rodríguez determinó las subclases de las álgebras de Wajsberg (n + 1)-acotadas y (n + 1)-valuadas, respectivamente, y probó que esta última subclase constituye una contrapartida algebraica del cálculo proposicional de Lukasiewicz (n + 1)-valuado ... En este trabajo se investigan dos clases ecuacionales de álgebras que son extensiones de las álgebras de Wajsberg (n + 1)-acotadas de A. J. Rodríguez: en un caso se agrega un automorfismo de período k ... Se determinan las confruencias, se prueba que esta variedad es semisimple, se caracterizan las álgebras simples y se halla la estructura del álgebra libre finitamente generada. Además se encuentra el número de estructuras cíclicas no isomorfas que pueden definirse sobre un álgebra finita, y se establece una dualidad toplógica para esta clase de álgebras que extiende la dualidad obtenida por N. G. Martínez para las álgebras de Wasjsberg [N. G. Martínez, The Priestley Duality for Wajsberg Algebras, studia logica 49, 1 (1990),31-46]. Generalizando la noción de cuantificador universal sobre un álgebra de Tarski, A. V. Figallo definió a los U -operadores sobre una I-álgebra [A. V. Figallo, algebras implicativas de Lukasiewicz ( n + 1)-valuadas con diversas operaciones adicionales, tesis doctoral, Univ. Nac. del Sur, (1990)]. Como el reducto implicativo de un álgebra de Wajsberg es una I -álgebra, se estudia a los U-operadores sobre un álgebra de Wajsberg. Se determinan las congruencias y se encuentra una dualidad topológica para la clase de las álgebras de Wajsberg con un U-operador que es una extensión de las dualidades obtenidas por N. G. Martínez para las álgebras de Wajsberg y por Roberto Cignoli para los Q-reticulados distributivos [R. Cignoli, Quantifiers on distributive lattices, discrete mathematics 96 (1991), 183-197]. Se define la clase de las álgebras de Wajsberg ( n * 1))-acotadas con un U-operador, se prueba que esta variedad es semisimple, se caracterizan las álgebras simples, se determinan las subálgebras de las álgebras simples finitas y se prueba que esta variedad es localmente finita. Se establecen condiciones para que un U-operador sobre un álgebra de Wajsberg (n + 1)-valuada conmute con los operadores modales de Mosisil que pueden definirse sobre ella. Se define la clase de las álgebras de Wajsberg (n + 1)-valuadas monádicas, se caraterizan las álgebras simples y se determina la estructura del álgebra libre finitamente generada. Además se investiga la relación existente entre las estructuras cíclica y monádica para álgebras finitas. CALIFICACION DEPARTAMENTO DE GRADUADOS Calificación de la defensa oral: Sobresaliente - 10 (diez) Fecha: 30/10/00 | ||
| 504 | |a Incluye referencias bibliográficas. | ||
| 100 | 1 | |a Lattanzi, Marina Beatriz. |4 dis | |
| 700 | 1 | |a Figallo, Aldo V. |q (Aldo Victorio) |4 ths | |
| 710 | 2 | |a Universidad Nacional del Sur. |b Departamento de Matemática. | |
| 082 | 0 | 4 | |a 040 |2 15 |
| 082 | 0 | 4 | |a 512.8 |2 15 |
| 650 | 7 | |a Matemáticas. |2 unbist | |
| 650 | 7 | |a Álgebra. |2 unbist | |
| 653 | |a Álgebras finitas | ||
| 859 | |a Ar-BaUNS |b BIB. MATEMATICA |h 040 |i B148 2000-484 |k R |p 111753/001 | ||
| 859 | |a Ar-BaUNS |b BIB. MATEMATICA |h 040 |i B148 2000-484 |p 111754/001 | ||