ka | en
ავტორიზაცია

ბიმოდალური ინტუიციუნისტური ლოგიკების ალგებრული ანალიზი
ავტორი: ფრიდონი ალშიბაიასაკვანძო სიტყვები: ლოგიკა, ბიმოდალური ლოგიკა, ჰეიტინგის ალგებრა
ანოტაცია:
თემა შეეხება ბიმოდალური ინტუიციონისტური ლოგიკების ალგებრულ ანალიზს. ამ ლოგიკების შესაბამის ალგებრულ მოდელებს წარმოადგენენ ჰეიტინგის ალგებრები, გამდიდრებული ორი მოდალობით.