ELp ლოგიკის ამოხსნადობა

ავტორი: რევაზ გრიგოლია
თანაავტორები: ანტონიო დი ნოლა, ჯაკომო ლენცი
საკვანძო სიტყვები: მონადიკური MV-ალგებრა, მონადიკური ლუკასევიჩის ლოგიკა
ანოტაცია:

შემოღებულია ახალი მოდალური ეპისტემიკური ლუკასევიჩის ლოგიკა EŁP, რომელიც მიღებულია Ł ლუკასევიჩის უსასრულო ნიშნა ლოგიკისგან სრულყოფილი MV-ალგებრის Łp ლოგიკისგან ერთი აქსიომის დამატებით, რომლის ენა გამდიდრებულია კვაზი-ცოდნის ოპერატორით და შესაბამისი აქსიომებით. დამტკიცებულია, რომ EŁp ლოგიკის თეორემათა სიმრავლე რეკურსიულად გადათვლადია.

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

Decidability of the Logic EŁp (Grigolia) [en]
Decidability of the Logic EŁp (Abstract) [en]
Decidability of the Logic EŁp (Grigolia)) [en]