Criterion of Global Admissibility for Logic IPC

Abstract

We describe globally admissible inference rules for logic IPC

В работе исследуется глобальная допустимость правил вывода в интуиционистской пропозициональной логике IPC