Ternární popisný jazyk
Ternární popisný jazyk (YTO) je formální logický systém a jemu odpovídající matematický kalkul, vyvinutý A. I. Uyomovem a jeho školou jako varianta neklasické logiky založené na kategoriích věc , vlastnost , vztah a určitý, neurčitý, libovolný . LTO se nejčastěji používá jako formální aparát parametrické obecné teorie systémů , ale jeho rozsah daleko přesahuje jeho rámec. Vzhledem k tomu, že LTO je logický systém, oblastí jeho interpretace může být jakékoli uvažování, nejen uvažování. Jednou z hlavních výhod LTO je přiblížení struktury formálně logických inferencí struktuře inferencí přirozeného jazyka.
Prohlášení YATO
- Uyomov AI O jedné verzi logického a matematického aparátu systémového výzkumu. — «Problémy formální analýzy systémů». M, 1968, str. 35-69 ("YATO-1")
- Uemov AI Sistemnyy podkhod i obshchaya teoriya sistem [Systémový přístup a obecná teorie systémů]. M., 1978;
- Uemov A. Jazyk ternárního popisu jako alternativa predikátového počtu. - 6. stážista. sjezd LMPhS. Hannover, 1979, oddíl 5, s. 194-198
- Uemov AI O logicko-matematickém aparátu obecné teorie systémů. - "Aktuální problémy logiky a metodologie vědy". Kyjev, Naukova Dumka, 1979, s.299-309
- Uemov A.I. Základy formálního aparátu parametrického OTS // System Research. 1984. M., 1984; ("YATO-84")
- Uemov A. Jazyk ternárního popisu jako deviantní logika // Boletim da Sociedade Paranaense da Matematica. V.15. č. 1-2, 1995; V.17. č. 1-2, 1997; V.18. č. 1-2, 1998; ("YATO-95")
- Uemov A. Ternární popisný jazyk jako formalismus pro teorii parametrických obecných systémů: Část 1. — In "Int. J. General Systems, Vol. 28(4-5), 1999, s. 351-366.
Literatura
- Leonenko L. L. Jazyk ternárního popisu a jeho autor (k 70. výročí profesora Avenira Uemova) // Filosofický výzkum - 2000. - č. 2. - S. 118-141.
- Uyomov AI Základy praktické logiky s úkoly a cvičeními. Oděsa, 1997;
Odkazy