On not strengthening intuitionistic logic

DOI10.1305/NDJFL/1093957658zbMATH Open0131.00605OpenAlexW2002216306MaRDI QIDQ2395033FDOQ2395033

Authors: 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

zbMATH Keywords

mathematical logic

Cited In (5)

• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• Admissibility in positive logics
• HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS
• Multiple Conclusion Rules in Logics with the Disjunction Property
• Derivability of admissible rules

This page was built for publication: On not strengthening intuitionistic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2395033)