Intermediate logics preserving admissible inference rules of heyting calculus
From MaRDI portal
Publication:4304123
DOI10.1002/MALQ.19930390144zbMath0807.03017OpenAlexW2130237401MaRDI QIDQ4304123
Vladimir Vladimirovich Rybakov
Publication date: 5 March 1995
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19930390144
finite model propertyintermediate logicadmissible inference rulestabular logicsintermediate propositional logicsHeyting's intuitionistic logic
Related Items (2)
Hereditarily structurally complete superintuitionistic deductive systems ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
Cites Work
This page was built for publication: Intermediate logics preserving admissible inference rules of heyting calculus