TY  - JOUR
AU  - Vitaliy V. Rimatskiy
TI  - Criterion of global admissibility for logic $\mathrm{IPC}$
JO  - Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
PY  - 2023
SP  - 620
EP  - 627
VL  - 16
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/JSFU_2023_16_5_a7/
LA  - en
ID  - JSFU_2023_16_5_a7
ER  -