Solvability of logical equations in the modal system Grz and intuitionistic logic

DOI10.1007/BF00972777zbMath0742.03005MaRDI QIDQ1177557

Vladimir Vladimirovich Rybakov

Publication date: 26 June 1992

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

algorithmmodal logicintuitionistic logicadmissible rulesolvability of logical equationsGrzsubstitution problem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

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

Cites Work

• Unnamed Item
• Bases of admissible rules of the logics S4 and Int
• One hundred and two problems in mathematical logic
• Some relational systems and the associated topological spaces
• Some theorems about the sentential calculi of Lewis and Heyting