Explicit basis for admissible rules in K-saturated tabular logics

DOI10.1515/DMA-2023-0011MaRDI QIDQ6043885zbMATH OpenOpenAlexFDO

Authors V. V. Rimatskij

Publication date 25 May 2023

Published in Discrete Mathematics and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/dma-2023-0011

zbMATH Keywords

admissible inference rulebasis admissible rulesKripke frame (model)

Mathematics Subject Classification ID

General logic (03Bxx) Mathematical logic and foundations (03-XX) Algebraic logic (03Gxx)

Cites work

• scientific article; zbMATH DE number 3112788 (Why is no real title available?)
• scientific article; zbMATH DE number 1463088 (Why is no real title available?)
• scientific article; zbMATH DE number 1471983 (Why is no real title available?)
• scientific article; zbMATH DE number 1396691 (Why is no real title available?)
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Admissibility of logical inference rules
• An explicit basis for admissible rules of modal logics of finite width
• Bases of admissible inference rules in tabular modal logics of depth 2
• Bases of admissible rules for \(K\)-saturated logics
• Construction of an explicit basis for rules admissible in modal system S4
• Independent bases for admissible rules of pretabular modal logic and its extensions
• On the admissible rules of intuitionistic propositional logic
• One hundred and two problems in mathematical logic

Cited in

(1)

• Tabular Logics with no Finite Bases for Inference Rules

This page was built for publication: Explicit basis for admissible rules in \(K\)-saturated tabular logics

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