On not strengthening intuitionistic logic
From MaRDI portal
Publication:2395033
DOI10.1305/ndjfl/1093957658zbMath0131.00605OpenAlexW2002216306MaRDI QIDQ2395033
Nuel D. jun. Belnap, Hugues Leblanc, 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/1093957658
Related Items
Multiple Conclusion Rules in Logics with the Disjunction Property ⋮ Admissibility in positive logics ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ Derivability of admissible rules ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
This page was built for publication: On not strengthening intuitionistic logic