Intermediate logics preserving admissible inference rules of heyting calculus

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

zbMATH Keywords

finite model propertyintermediate logicadmissible inference rulestabular logicsintermediate propositional logicsHeyting's intuitionistic logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (2)

Hereditarily structurally complete superintuitionistic deductive systems ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

Cites Work

• Unnamed Item

This page was built for publication: Intermediate logics preserving admissible inference rules of heyting calculus