Bases of admissible rules for K-saturated logics

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

Authors: 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

Recommendations

• Bases of admissible inference rules in tabular modal logics of depth 2
• scientific article; zbMATH DE number 1156788
• Independent Bases of Admissible Rules
• Table admissible inference rules
• Admissible Rules of Modal Logics

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 (11)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Table admissible inference rules
• Bases of admissible rules of Łukasiewicz logic
• Bases of admissible inference rules in tabular modal logics of depth 2
• Independent bases for admissible rules of pretabular modal logic and its extensions
• An explicit basis for \textit{WCP}-globally admissible inference rules
• A note on globally admissible inference rules for modal and superintuitionistic logics
• 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)