Ternärt beskrivningsspråk
Ternärt beskrivningsspråk (YTO) är ett formellt logiskt system och dess motsvarande matematiska kalkyl, utvecklat av A. I. Uyomov och hans skola som en variant av icke- klassisk logik baserad på kategorierna ting , egenskap , relation och bestämd, obestämd, godtycklig . LTO används oftast som en formell apparat för parametrisk allmän systemteori , men dess räckvidd går långt utanför dess räckvidd. Eftersom LTO är ett logiskt system kan området för dess tolkning vara vilket resonemang som helst och inte bara resonemang. En av de främsta fördelarna med LTO är approximationen av strukturen för formella logiska slutledningar till strukturen av inferenser för ett naturligt språk.
YATO:s uttalande
- Uyomov AI Om en version av systemforskningens logiska och matematiska apparat. — «Problem med formell analys av system». M, 1968, s. 35-69 ("YATO-1")
- Uemov AI Sistemnyy podkhod i obshchaya teoriya sistem [Systemansats och allmän systemteori]. M., 1978;
- Uemov A. Språket i den ternära beskrivningen som ett alternativ till predikatkalkylen. - 6:e praktikant. LMPhS kongress. Hannover, 1979, avsnitt 5, s. 194-198
- Uemov AI Om den logisk-matematiska apparaten i den allmänna systemteorin. - "Faktiska problem med logik och vetenskapens metodik". Kiev, Naukova Dumka, 1979, s. 299-309
- Uemov A.I. Grunderna i den formella apparaten för parametrisk OTS // System Research. 1984. M., 1984; ("YATO-84")
- Uemov A. The Language of Ternary Description as a Deviant Logic // Boletim da Sociedade Paranaense da Matematica. V.15. nr 1-2, 1995; V.17. nr 1-2, 1997; V.18. nr 1-2, 1998; ("YATO-95")
- Uemov A. The Ternary Description Language as a Formalism for the Parametrical General Systems Theory: Del 1. — I "Int. J. General Systems, Vol. 28(4-5), 1999, s. 351-366
Litteratur
- Leonenko L. L. Språket för den ternära beskrivningen och dess författare (på 70-årsdagen av professor Avenir Uemov) // Filosofisk forskning - 2000. - Nr 2. - P. 118-141.
- Uyomov AI Grunderna i praktisk logik med uppgifter och övningar. Odessa, 1997;
Länkar