Independent bases for rules admissible in pretabular logics

DOI10.1093/JIGPAL/7.2.253MaRDI QIDQ4237681zbMATH OpenOpenAlexFDO

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

Publication date 7 March 2001

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/7.2.253

zbMATH Keywords

admissible ruleindependent rulesinference ruleKripke modelmodal logicquasivarietysuperintuitionistic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Model theory of denumerable and separable structures (03C15)

Recommendations

• scientific article; zbMATH DE number 1534490
• 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
• Bases of admissible rules in modal logics S4.2 and S4.2Grz

Cited in

(8)

• On pretabular logics in NExtK4. II
• Independent Bases of Admissible Rules
• scientific article; zbMATH DE number 1534490 (Why is no real title available?)
• On pretabular logics in NExtK4. I
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• Nilpotent Minimum Logic NM and Pretabularity
• scientific article; zbMATH DE number 7536428 (Why is no real title available?)
• Independent bases for admissible rules of pretabular modal logic and its extensions

This page was built for publication: Independent bases for rules admissible in pretabular logics

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