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