Descripción
Axiomáticas de lógica polivalente y conjuntos polivalentes
Resumen del libro
Esta obra ofrece una aproximación rigurosa y sistemática a los fundamentos de la lógica polivalente y la teoría de conjuntos polivalentes, partiendo de una axiomática clásica del álgebra de Boole. El lector encontrará un desarrollo teórico que extiende los conceptos booleanos a los números naturales y racionales, para luego adentrarse en sistemas lógicos de múltiples valores y sus aplicaciones en la definición de conjuntos polivalentes. El libro concluye con una propuesta para iniciar el estudio del lenguaje matemático polivalente mediante universos expansivos, incluyendo la definición de pares ordenados y productos cartesianos. Es una herramienta valiosa para quienes buscan comprender las bases estructurales de estas ramas avanzadas de la lógica matemática.
¿De qué trata?
El libro se estructura en cinco capítulos que progresan desde lo clásico hasta lo polivalente. El capítulo I establece una axiomática breve del álgebra de Boole, sentando las bases. El capítulo II, el más extenso y central, desarrolla axiomáticas de álgebra de Boole con números naturales y con números racionales, así como retículos de Boole completos en ambos dominios. A continuación, el capítulo III introduce la lógica polivalente, explorando sistemas donde los valores de verdad no se limitan a dos. El capítulo IV se centra en los conjuntos polivalentes, una generalización de los conjuntos clásicos que permite grados de pertenencia. Finalmente, el capítulo V sugiere un camino para iniciar el estudio del lenguaje matemático polivalente, definiendo elementos como pares ordenados y tripletes mediante universos expansivos, y analizando el producto cartesiano de conjuntos polivalentes junto con sus correspondencias y propiedades.
Temas principales
- Axiomática del álgebra de Boole y su extensión a números naturales y racionales.
- Retículos de Boole completos en el contexto de los números racionales.
- Fundamentos de la lógica polivalente como sistema de múltiples valores de verdad.
- Teoría de conjuntos polivalentes y su definición axiomática.
- Lenguaje matemático polivalente: pares ordenados, tripletes y productos cartesianos mediante universos expansivos.
¿Para quién está recomendado?
Este libro está dirigido a estudiantes avanzados, investigadores y profesionales en matemáticas, lógica, filosofía analítica o ciencias de la computación con un interés sólido en los fundamentos de la lógica y la teoría de conjuntos. Es especialmente útil para quienes deseen profundizar en sistemas lógicos no clásicos y en estructuras algebraicas avanzadas, así como para aquellos que buscan una base teórica para aplicaciones en inteligencia artificial, razonamiento aproximado o teoría de la información.
Qué aporta este libro
- Una exposición clara y progresiva de las axiomáticas que conectan el álgebra de Boole clásica con la lógica polivalente.
- Herramientas para comprender y construir conjuntos polivalentes, ampliando el marco clásico de pertenencia binaria.
- Una introducción original al lenguaje matemático polivalente mediante universos expansivos, facilitando el estudio de estructuras ordenadas y correspondencias.
- Un enfoque riguroso que permite al lector asimilar los fundamentos teóricos necesarios para investigaciones posteriores en lógica no clásica.
Ficha técnica
- Autor: González Carlomán; Antonio
- Editorial: Servicio de Publicaciones de la Universidad de Ovi
- Idioma: Español
- Tema: Cálculo y análisis matemático
- Colección: Pdte. colección
- Encuadernación: Bolsillo
- Fecha de edición: No especificada
- Número de páginas: 143
- Dimensiones: 21.0 cm x 15.0 cm
- Peso: 200.0 gr
Valoración editorial
Se trata de una obra especializada que aborda con solvencia la transición desde el álgebra de Boole clásica hasta los sistemas polivalentes, un área de creciente interés en lógica matemática. Su estructura didáctica y progresiva facilita el seguimiento, aunque requiere un lector con formación previa en álgebra abstracta o lógica formal. El valor principal reside en su propuesta de un lenguaje matemático polivalente mediante universos expansivos, que ofrece una perspectiva novedosa para investigadores. Es una adquisición recomendable para bibliotecas universitarias y especialistas que buscan un texto compacto y riguroso sobre estos fundamentos.