A final note on S\(1^ 0\) and the Brouwerian axioms

DOI10.1305/NDJFL/1093957582zbMath0131.24509OpenAlexW2057515027WikidataQ114598184 ScholiaQ114598184MaRDI QIDQ2395195

Ivo Thomas

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/1093957582

zbMATH Keywords

mathematical logic

Related Items (1)

Algebraic semantics for modal logics I

This page was built for publication: A final note on S\(1^ 0\) and the Brouwerian axioms