scientific article
From MaRDI portal
zbMath0691.03012MaRDI QIDQ3032232
Vladimir Vladimirovich Rybakov
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algorithmfree algebraderivabilityfinite basisintuitionistic logicmodal logicsintuitionistic propositional calculusS4admissibility of rulesGrznegative answer to Kusznetsov's questionpositive solution to Friedman's 40th problem
Modal logic (including the logic of norms) (03B45) Free algebras (08B20) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
Related Items
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property, Decidable modal logic with undecidable admissibility problem
