A rule-completeness theorem
From MaRDI portal
Publication:2626081
DOI10.1305/ndjfl/1093957392zbMath0118.01303MaRDI QIDQ2626081
Nuel D. jun. Belnap, Richmond H. Thomason
Publication date: 1963
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093957392
Related Items
DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV, PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS