ძირითადი მონაცემები
- რ. ლიპარტელიანი
- ფ. ალშიბაია
- ვ. მესხი
პროექტის სტატუსი და ვადები
კვლევის შედეგი
აღწერილია სასრულად წარმოქმნილი GMV – ალგებრები და დახასიათდებულია სასრულად წარმოდგენადი GMV – ალგებრები. აქსიომატიკუურად წარმოდგენილია GMV- ლოგიკა, რომლის ალგებრულ მოდელს წარმოადგენს GMV – ალგებრები.
შემოღებულია დინამიკური პროპოზიციული ლუკასევიჩის ლოგიკა DP L (დინამიკური n-ნიშნა პროპოზიციული ლუკასევიჩის ლოგიკა DPLn) და დინამიკური MV – ალგებრები (დინამიკური MVn-ალგებრები) და განვითარებულია DP L (DPLn) ლოგიკის და დინამიური MV -ალგებრები (MVn-ალგებრაბის) თეორიები.
შემოღებულია იმუნური დინამიური n-ნიშნა ლუკასევიჩის ლოგიკა IDŁn n-ნიშნა ლუკასევიჩის ლოგიკის Łn -ის ბაზაზე და მისშესაბამისი იმუნური დინამიური MVn -ალგებრა (IDLn-ალგებრა), 1<n<ω, რომლებიც ალგებრულ მოდელებს.
შემოთავაზებულია ახალი ლოგიკა, სახელად ნაწილობრივი ცოდნის ეპისტემური ლუკასევიჩის ლოგიკა, რომელიც წარმოდგენილიაროგორც მულტიმოდალური ეპისტემური ლუკასევიჩის ლოგიკა KŁP (n) n ცოდნის ოპერატორებით i (1 ≤ i ≤ n) ინტერპრეტირებულიარაარქიდეურ მონადიკურ MV-ალგებრაში.