Metadata language
Անվանում:
Ընդհանրացված ոչ պարզորոշ կոնստրուկտիվ տրամաբանություն ; Обобщенная нечеткая конструктивная логика
Հեղինակ:
Զասլավսկի Իգոր ; Заславский Игорь
Տեսակ:
Չվերահսկվող բանալի բառեր:
нечеткая логика ; конструктивная математика ; математическая логика ; предикат, квантор
Ամփոփում:
Դիտարկվում է ոչ պարզորոշ կոնստրուկտիվ տրամաբանության համակարգ, որտեղ տրամաբանական արժեքները կազմում են մասնակի կարգավորված բազմություն: Սահմանվում է ճշմարտության ալգորիթմական սանդղակի գաղափարը (կարճ, Ա-սանդղակ), և այդ գաղափարի հիման վրա կառուցվում է ընդհանրացված ոչ պարզորոշ կոնստրուկտիվ տրամաբանության համակարգ: Մասնավորապես սահմանվում են պրեդիկատային բանաձևերի ուժեղ և թույլ նույնաբար ճշմարտության գաղափարները տվյալ Ա-սանդղակի նկատմամբ: Ապացուցվում է, որ կոնստրուկտիվ (ինտուիցիոնիստական) պրեդիկատային հաշվում արտածվող որոշակի տիպի յուրաքանչյուր պրեդիկատային բանաձև նույնաբար ճշմարիտ է ուժեղ իմաստով ցանկացած Ասանդղակի նկատմամբ: Մյուս կողմից ապացուցվում է, որ որոշ պրեդիկատային բանաձևեր (որոնք նույնաբար ճշմարիտ են դասական տրամաբանության տեսակետից) նույնաբար ճշմարիտ չեն թույլ իմաստով ցանկացած Ա-սանդղակի նկատմամբ:
Հրատարակիչ:
ՀՀ ԳԱԱ «ԳԻՏՈՒԹՅՈՒՆ» ՀՐԱՏԱՐԱԿՉՈՒԹՅՈՒՆ
Լեզու:
Ամսագրի կամ հրապարակման վերնագիր:
URL:
Կազմակերպության անվանում:
ՀՀ Գիտությունների ազգային ակադեմիա