CRITERIA FOR ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS

DOI10.1070/IM1991v037n03ABEH002165zbMath0743.03037OpenAlexW2070627606MaRDI QIDQ3970453

Vladimir Vladimirovich Rybakov

Publication date: 25 June 1992

Published in: Mathematics of the USSR-Izvestiya (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/im1991v037n03abeh002165

zbMATH Keywords

Kripke modelsintuitionistic propositional calculusadmissibility of rules

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Related Items

DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV