logo móvil
Contáctanos

Sistemas de teoría de conjuntos de valor booleano: formalismo general y técnica básica

Autores: Gutman, Alexander

Idioma: Inglés

Editor: MDPI

Año: 2021

Descargar PDF

Acceso abierto

Artículo científico
2021

Sistemas de teoría de conjuntos de valor booleano: formalismo general y técnica básica


Categoría

Matemáticas

Subcategoría

Matemáticas generales

Palabras clave

Universo de valores booleanos
Sintaxis
Herramientas de investigación
Firma de teoría de conjuntos
Fórmulas acotadas
Aplicaciones

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 33

Citaciones: Sin citaciones


Descripción
Este artículo está dedicado al estudio del universo valuado booleano como un sistema algebraico. Comenzamos con los antecedentes lógicos de la noción y presentamos el formalismo de extender la sintaxis de los valores de verdad booleanos mediante el uso de símbolos definibles, clases internas, términos externos y clases valuadas booleanas externas. Luego, enriquecemos la colección de herramientas de investigación valuadas booleanas con la técnica de elementos parciales y las correspondientes uniones, mezclas y ascensos. Pasando a la firma teórica, demostramos que las fórmulas acotadas son absolutas para los subsistemas valuados booleanos transitivos. También introducimos y estudiamos sistemas valuados booleanos intensionales, predicativos, cíclicos y regulares, examinamos el principio máximo y analizamos su relación con los principios de ascenso y mezcla. Las principales aplicaciones se relacionan con el universo sobre un sistema valuado booleano extensivo arbitrario. Se establece una estrecha interrelación entre dicho universo y la jerarquía intensional. Demostramos la existencia y unicidad del universo valuado booleano hasta un isomorfismo único y mostramos que las condiciones en la caracterización axiomática correspondiente son lógicamente independientes. También describimos la estructura del universo mediante varias jerarquías acumulativas. Otra aplicación, basada en la jerarquía de cuantificadores de fórmulas, mejora el principio de transferencia para la incrustación canónica en el universo valuado booleano.

Otros recursos que podrían interesarte

Temas Virtualpro