ka | en
ავტორიზაცია
მრავალნიშნა ლოგიკების შესახებ
ავტორი: დავით ბარამიძესაკვანძო სიტყვები: პოსტის სისტემები, ლუკასევიჩის სისტემები, გეოდელის სისტემა
ანოტაცია:
ნაშრომი ეძღვნება მრავალნიშნა ლოგიკების მიმოხილვას. ზოგადი თეორიის დაწყებით, შემდგომ განხილულია პოპულარული მრავალნიშნა ლოგიკები, ისეთები როგორიცაა პოსტის ლოგიკები, გოედელის ლოგიკა, ლუკასევიჩის ლოგიკა, ბოჩვარის და კლინის ლოგიკები, და ბელნაპის ლოგიკა და მათი შესაბამისი ალგებრები (მატრიცები)
მიმაგრებული ფაილები:
მრავალნიშნა ლოგიკების შესახებ [ka]