BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM $ \mathrm{Grz}$ AND OF INTUITIONISTIC LOGIC

DOI10.1070/SM1987v056n02ABEH003038zbMath0617.03007OpenAlexW1999656509MaRDI QIDQ4726223

Vladimir Vladimirovich Rybakov

Publication date: 1987

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

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

zbMATH Keywords

propositional intuitionistic logicGrzegorczyk modal logicRecursive bases of admissible rules

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Intermediate logics (03B55)

Related Items (5)

Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property ⋮ What is an inference rule? ⋮ Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV ⋮ Logical equations and admissible rules of inference with parameters in modal provability logics

This page was built for publication: BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM $ \mathrm{Grz}$ AND OF INTUITIONISTIC LOGIC