CRITERIA FOR ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS
From MaRDI portal
Publication:3970453
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
Related Items