Table admissible inference rules
From MaRDI portal
Publication:431693
DOI10.1007/s10469-009-9055-zzbMath1241.03034MaRDI QIDQ431693
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
03B55: Intermediate logics
Related Items
Cites Work