ჩანგის ალგებრის ლოგიკა

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

განსაზღვრულია ახალი ლოგიცა QC - ჩანგის ალგებრის ლოგიკა, რომელიც არის უსასრულო ნიშნა ლუკასევიჩის L ლოგიკის გაფართოება, რომლის ენა გამდიდრებულია 0-არული კავშირით c, რომელიც ინტერპრეტირდაება როგორც ”კვაზი-მცდარი”, რომლებსაც შეესაბამება ალგებრები სრულყოფილი ალგებრებით წარმქმნილი მრავალასახეობის კვაზი-მრავალსახეობიდან. ამ მიზნით განისაზღვრა QC-ალგებრების ახალი კლასი QC, რომელიც წარმოადგენს კვაზი-მრავალსახეობას. QC ლოგიკას ახალი გამოყვანის წესის დამატებით, რომელიც ზრდის გამოყვანის სიმძლავრეს, ჩვენს მიერ განისაზღვრა ლოგიკა QC+ და კვაზი-ჭეშმარიტი (q-ჭეშმარიტი) ფორმულების განსაზღვრით დამტკიცებულია ამ ლოგიკის სისრულის თეორემა.