Lenguaje de descripción ternario
El lenguaje de descripción ternario (YTO) es un sistema lógico formal y su correspondiente cálculo matemático, desarrollado por A. I. Uyomov y su escuela como una variante de la lógica no clásica basada en las categorías cosa , propiedad , relación y definido, indefinido, arbitrario . LTO se usa con mayor frecuencia como un aparato formal de la teoría general de sistemas paramétricos , pero su alcance va mucho más allá de su alcance. Dado que LTO es un sistema lógico, el área de su interpretación puede ser cualquier razonamiento, y no solo razonamiento. Una de las principales ventajas de LTO es la aproximación de la estructura de inferencias lógicas formales a la estructura de inferencias de un lenguaje natural.
Declaración de YATO
- Uyomov AI En una versión del aparato lógico y matemático de la investigación del sistema. — «Problemas de análisis formal de sistemas». M, 1968, p.35-69 ("YATO-1")
- Uemov AI Sistemnyy podkhod i obshchaya teoriya sistem [Enfoque de sistemas y teoría general de sistemas]. M., 1978;
- Uemov A. El lenguaje de la descripción ternaria como alternativa del cálculo de predicados. - 6to Interno. Congreso de la LMPhS. Hannover, 1979, Sección 5, págs. 194-198
- Uemov AI Sobre el aparato lógico-matemático de la teoría general de sistemas. - "Problemas actuales de lógica y metodología de la ciencia". Kyiv, Naukova Dumka, 1979, p.299-309
- Uemov A.I. Fundamentos del aparato formal de OTS paramétrico // Investigación de sistemas. 1984. M., 1984; ("YATO-84")
- Uemov A. El lenguaje de la descripción ternaria como lógica desviada // Boletim da Sociedade Paranaense da Matematica. V.15. Nº 1-2, 1995; V.17. Nº 1-2, 1997; V.18. Nº 1-2, 1998; ("YATO-95")
- Uemov A. El lenguaje de descripción ternario como formalismo para la teoría de sistemas generales paramétricos: Parte 1. — En "Int. J. General Systems, Vol. 28(4-5), 1999, p. 351-366
Literatura
- Leonenko L. L. El lenguaje de la descripción ternaria y su autor (en el 70 aniversario del profesor Avenir Uemov) // Investigación filosófica - 2000. - No. 2. - P. 118-141.
- Uyomov AI Fundamentos de lógica práctica con tareas y ejercicios. Odesa, 1997;
Enlaces