A rule-completeness theorem
From MaRDI portal
Publication:2626081
DOI10.1305/NDJFL/1093957392zbMath0118.01303OpenAlexW2008453494MaRDI 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 (2)
PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
This page was built for publication: A rule-completeness theorem