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

Literatura

Enlaces