|
|
Logical Perspectives 2021: Summer School and Workshop
June 17, 2021 10:30–11:00, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online
|
|
|
|
|
|
On a possibility of finite characterizations for Kripke
complete non-recursively axiomatizable superintuitionistic
predicate logics
D. P. Skvortsov |
Video records: |
![mp4](/fticons/mp4.svg) |
MP4 |
1,737.1 Mb |
Supplementary materials: |
![pdf](/fticons/pdf-files-icon.svg) |
Adobe PDF |
85.1 Kb |
Number of views: |
This page: | 122 | Video files: | 35 | Materials: | 24 |
|
Supplementary materials:
workshop_skvortsov.pdf (85.1 Kb)
Language: English
|
|