A brief proof of the full completeness of Shin's Venn diagram proof system
From MaRDI portal
Publication:2499299
DOI10.1007/s10992-005-9016-5zbMath1101.03025OpenAlexW2063241262MaRDI QIDQ2499299
Publication date: 14 August 2006
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-005-9016-5
Cites Work
This page was built for publication: A brief proof of the full completeness of Shin's Venn diagram proof system