Ternáris leíró nyelv
A hármas leíró nyelv (YTO) egy formális logikai rendszer és a hozzá tartozó matematikai számítás, amelyet A. I. Uyomov és iskolája fejlesztett ki a nem klasszikus logika egy változataként , amely a dolog , tulajdonság , reláció és határozott, határozatlan, tetszőleges kategóriákon alapul . Az LTO-t leggyakrabban a parametrikus általános rendszerelmélet formális apparátusaként használják , de hatóköre messze túlmutat a hatókörén. Mivel az LTO egy logikai rendszer, értelmezési területe bármilyen érvelés lehet, nem csak érvelés. Az LTO egyik fő előnye, hogy a formális logikai következtetések szerkezetét közelíti a természetes nyelv következtetéseinek szerkezetéhez.
A YATO nyilatkozata
- Uyomov AI A rendszerkutatás logikai és matematikai apparátusának egyik változatáról. — «A rendszerek formális elemzésének problémái». M, 1968, 35-69. ("YATO-1")
- Uemov AI Sistemnyy podkhod i obshchaya teoriya sistem [Rendszerszemlélet és általános rendszerek elmélete]. M., 1978;
- Uemov A. A háromtagú leírás nyelve, mint a predikátumkalkulus alternatívája. - 6. gyakornok. Az LMPhS kongresszusa. Hannover, 1979, 5. szakasz, 194-198
- Uemov AI Az általános rendszerelmélet logikai-matematikai apparátusáról. - „A tudomány logikai és módszertani aktuális problémái”. Kijev, Naukova Dumka, 1979, 299-309
- Uemov A.I. A parametrikus OTS formális apparátusának alapjai // Rendszerkutatás. 1984. M., 1984; ("YATO-84")
- Uemov A. A hármas leírás nyelve mint deviáns logika // Boletim da Sociedade Paranaense da Matematica. V.15. No. 1-2, 1995; V.17. No. 1-2, 1997; V.18. No. 1-2, 1998; ("YATO-95")
- Uemov A. A hármas leíró nyelv mint formalizmus a paraméteres általános rendszerelmélethez: 1. rész. – Int. J. General Systems, 28(4-5), 1999, 351-366.
Irodalom
- Leonenko L. L. A hármas leírás nyelve és szerzője (Avenir Uemov professzor 70. évfordulóján) // Filozófiai Kutatás - 2000. - 2. sz. - P. 118-141.
- Uyomov AI A gyakorlati logika alapjai feladatokkal és gyakorlatokkal. Odessza, 1997;
Linkek