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)
Full work available at URL: https://doi.org/10.1007/bf00968695
Related Items
DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV, 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, Deciding active structural completeness
Cites Work