En lógica matemática , varios sublenguajes de la teoría de conjuntos son decidibles . [1] [2] Estos incluyen:
- Conjuntos con funciones monótonas, aditivas y multiplicativas. [3]
- Conjuntos con cuantificadores restringidos. [4]
Referencias
- ^ Cantone, D., EG Omodeo y A. Policriti, "Teoría de conjuntos para informática. Desde procedimientos de decisión hasta programación lógica con conjuntos", Monografías en Ciencias de la Computación, Springer, 2001.
- ^ "Procedimientos de decisión para sublenguajes elementales de la teoría de conjuntos: XIII. Grafos modelo, reflexión y decidibilidad", por Franco Parlamento y Alberto Policriti Journal of Automated Reasoning, Volumen 7, Número 2 (Junio 1991), Páginas: 271 - 284
- ^ "Un procedimiento de decisión para un sublenguaje de teoría de conjuntos que involucra funciones monótonas, aditivas y multiplicativas", por Domenico Cantone y et al.
- ^ "Un procedimiento de decisión basado en tablas para un fragmento de teoría de conjuntos que implica una forma restringida de cuantificación", por Domenico Cantone, Calogero G. Zarba, Viale A. Doria, 1997 [ enlace muerto permanente ]
