scientific article; zbMATH DE number 1534490

MaRDI QIDQ4517271zbMATHFDO

Authors V. R. Kiyatkin, M. Terziller, Vladimir Rybakov

Publication date 21 November 2000

Full work available at URL https://eudml.org/doc/187926

zbMATH Keywords

modal logicadmissible rulesuperintuitionistic logicindependent basis of rules

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Recommendations

• Independent bases for rules admissible in pretabular logics
• scientific article; zbMATH DE number 1156788
• Independent bases for admissible rules of pretabular modal logic and its extensions
• Independent Bases of Admissible Rules
• Bases of admissible rules for K-saturated logics

Cited in

(3)

• Independent bases for admissible rules of pretabular modal logic and its extensions
• Independent Bases of Admissible Rules
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4517271)