Bases of admissible rules for K-saturated logics

DOI10.1007/S10469-008-9033-XzbMATH Open1241.03033OpenAlexW2007420955MaRDI QIDQ431663FDOQ431663

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)

Cites Work

• Admissibility of logical inference rules
• Title not available (Why is that?)

Cited In (6)

• Title not available (Why is that?)
• Bases of admissible inference rules in tabular modal logics of depth 2
• An explicit basis for \textit{WCP}-globally admissible inference rules
• Title not available (Why is that?)
• Explicit basis for admissible rules in \(K\)-saturated tabular logics
• Title not available (Why is that?)

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

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