The finite model property with respect to admissibility for superintuitionistic logic
From MaRDI portal
Publication:1876415
zbMath1047.03020MaRDI QIDQ1876415
B. R. Fedorishin, V. S. Ivanov
Publication date: 6 September 2004
Published in: Siberian Advances in Mathematics (Search for Journal in Brave)
Related Items
Finite frames fail: how infinity works its way into the semantics of admissibility, DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV