The finite model property with respect to admissibility for superintuitionistic logic

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)

zbMATH Keywords

inference rulefinite model propertyadmissible ruleintuitionistic frameintuitionistic valuation

Mathematics Subject Classification ID

Intermediate logics (03B55)

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