Admissible rules for logics containing S4.3
From MaRDI portal
Publication:1068809
DOI10.1007/BF00968695zbMath0582.03009OpenAlexW2030606453MaRDI 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 (7)
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property ⋮ Almost structural completeness; an algebraic approach ⋮ Equations in free topoboolean algebra ⋮ Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus ⋮ Deciding active structural completeness ⋮ 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
Cites Work
This page was built for publication: Admissible rules for logics containing S4.3