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

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

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