Explicit basis for admissible rules in \(K\)-saturated tabular logics

DOI10.1515/DMA-2023-0011OpenAlexW4363673393MaRDI QIDQ6043885

Vitaliĭ Valentinovich Rimatskiĭ

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bases of admissible rules for \(K\)-saturated logics
• Independent bases for admissible rules of pretabular modal logic and its extensions
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Admissibility of logical inference rules
• On the admissible rules of intuitionistic propositional logic
• Construction of an Explicit Basis for Rules Admissible in Modal System S4
• One hundred and two problems in mathematical logic

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