ბიმოდალური ინტუიციუნისტური ლოგიკების ალგებრული ანალიზი

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

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