DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC

• 30 June 1987
• journal article
• Published by Steklov Mathematical Institute in Mathematics of the USSR-Izvestiya
• Vol. 28  (3) , 589-608
• https://doi.org/10.1070/im1987v028n03abeh000902

Abstract

Keywords

• INTUITIONISTIC LOGIC
• MODAL SYSTEM
• SYSTEM GRZ
• DECIDABILITY OF ADMISSIBILITY