ხუთნიშნა მულტიმოდალური ეპისტემიკური ლუკასევიჩის ლოგიკა კონსტანტებით

ავტორი: ზურაბ ვაშაკიძე
საკვანძო სიტყვები: ლუკასევიჩის ლოგიკა, პოსტის ლოგიკა, ეპისტემიკური ლოგიკა
ანოტაცია:

ნაშრომში განვითარებულია ხუთნიშნა მულტიმოდალური ეპისტემიკური ლუკასევიჩის ლოგიკა კონსტანტებით EŁ5c(n), რომელიც ხუთნიშნა ლუკასევიჩის ლოგიკის Ł5 გაფართოვებაა, რომლის ენა გაფართოვებულია ნულარული და უნარული კავშირებით; ამავე დროს განვითარებულია ამ ლოგიკების შესაბამისი ალგებრული თეორია. უნარული კავშირები ინტერპრეტირებულია როგორც მოდალური ოპერატორები (ცოდნის ოპერატორები). ეს ლოგიკა განსაზღვრულია აქსიომატიკურად და დამტკიცებულია სისრული თეორემა შესაბამისი ალგებრათა მრავალსახეობის მიმართ. აღვნიშნოთ, რომ მოცემული ლოგიკა გამოიყენება იმუნური სისტემის შესწავლაში.

მიმაგრებული ფაილები:

ზურაბ-ვაშაკიძე-GEO [ka]
Zurab-Vashakidze-ENG [en]