Solvability of logical equations in the modal system Grz and intuitionistic logic
From MaRDI portal
Publication:1177557
DOI10.1007/BF00972777zbMath0742.03005MaRDI QIDQ1177557
Vladimir Vladimirovich Rybakov
Publication date: 26 June 1992
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
algorithmmodal logicintuitionistic logicadmissible rulesolvability of logical equationsGrzsubstitution problem
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Cites Work