Arithmetical necessity, provability and intuitionistic logic
- 1 April 1978
- Vol. 44 (1) , 38-46
- https://doi.org/10.1111/j.1755-2567.1978.tb00831.x
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Provability interpretations of modal logicIsrael Journal of Mathematics, 1976
- Propositional Logics Related to Heyting's and Johansson'sTheoria, 1968
- Some relational systems and the associated topological spacesFundamenta Mathematicae, 1967
- Solution of a problem of Leon HenkinThe Journal of Symbolic Logic, 1955
- Some theorems about the sentential calculi of Lewis and HeytingThe Journal of Symbolic Logic, 1948