MVn-ალგებრები ჩაკეტვის ოპერაციებით

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

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