A modal extension of intuitionist logic.

• 1 January 1965
• journal article
• Published by Duke University Press in Notre Dame Journal of Formal Logic
• Vol. 6  (2) , 142-146
• https://doi.org/10.1305/ndjfl/1093958154

Abstract

Keywords

• INTUITIONISTIC LOGIC