scientific article; zbMATH DE number 1534490

zbMATH Open0953.03032MaRDI QIDQ4517271FDOQ4517271

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

Publication date: 21 November 2000

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (3)

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

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)