DOI10.1023/A:1008303204427zbMath0956.03004OpenAlexW1518571861MaRDI QIDQ1306167
Sun-Joo Shin
Publication date: 7 March 2001 Published in: Journal of Logic, Language and Information (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1023/a:1008303204427
zbMATH Keywords
naturalnessefficacydeductive systemPeirceexistential graphsBeta systemdiagrammatic system
Mathematics Subject Classification ID
Classical first-order logic (03B10) General logic (03B99)