An explicit basis for admissible inference rules in table modal logics of width 2
From MaRDI portal
Publication:431673
DOI10.1007/s10469-009-9041-5zbMath1241.03023OpenAlexW1997554391MaRDI QIDQ431673
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-9041-5
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bases of admissible rules of the logics S4 and Int
- Admissibility of logical inference rules
- On the admissible rules of intuitionistic propositional logic
- One hundred and two problems in mathematical logic
- Unification in intuitionistic logic
- A(nother) characterization of intuitionistic propositional logic