Bases of admissible rules for \(K\)-saturated logics

DOI10.1007/S10469-008-9033-XzbMath1241.03033OpenAlexW2007420955MaRDI QIDQ431663

V. V. Rimatskii

Publication date: 29 June 2012

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-008-9033-x

zbMATH Keywords

admissible inference rulesbasis for admissible inference rulestabular modal logictabular superintuitionistic logic

Mathematics Subject Classification ID

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

Related Items (2)

Explicit basis for admissible rules in \(K\)-saturated tabular logics ⋮ An explicit basis for \textit{WCP}-globally admissible inference rules

Cites Work

• Admissibility of logical inference rules
• Unnamed Item

This page was built for publication: Bases of admissible rules for \(K\)-saturated logics