Admissible rules for logics containing S4.3
From MaRDI portal
Publication:1068809
DOI10.1007/BF00968695zbMath0582.03009MaRDI QIDQ1068809
Vladimir Vladimirovich Rybakov
Publication date: 1984
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Related Items
Almost structural completeness; an algebraic approach, Logical equations and admissible rules of inference with parameters in modal provability logics, Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus, Equations in free topoboolean algebra, Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
Cites Work