|
|
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 |
1,737.1 Mb |
| Supplementary materials: |
 |
Adobe PDF |
85.1 Kb |
| Number of views: |
| This page: | 160 | | Video files: | 37 | | Materials: | 25 |
|
Supplementary materials:
workshop_skvortsov.pdf (85.1 Kb)
Language: English
|
|
Contact us: