Table admissible inference rules

DOI10.1007/S10469-009-9055-ZzbMath1241.03034OpenAlexW2090549183MaRDI QIDQ431693

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-009-9055-z

zbMATH Keywords

superintuitionistic logicinference rulestabular logic

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (1)

Globally admissible inference rules

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bases of admissible rules of the logics S4 and Int
• Admissibility of logical inference rules

This page was built for publication: Table admissible inference rules