ka | en
ავტორიზაცია
![TSU2013](http://conference.sens-2014.tsu.ge/media/images/Tsu_old.jpg)
ტემპორალური ინტუიციონისტური ლოგიკის ალგებრული ანალიზი
ავტორი: ფრიდონი ალშიბაიასაკვანძო სიტყვები: ინტუიციონისტური ლოგიკა, ჰეიტინგის ალგებრები, ესაკიას სივრცე, ორადობა
ანოტაცია:
ტემპორალური ინტუიციონისტური ლოგიკა წარმოადგენს მოდალობით გამდიდრებულ ინტუიციონისტური ლოგიკას.ჩვენ შევისწავლით მის შესაბამის ალგებრულ და ტოპოლოგიურ მოდელებს.