Epistemic and Intuitionistic Arithmetic
- 1 January 1985
- book chapter
- Published by Elsevier BV
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Epistemic arithmetic is a conservative extension of intuitionistic arithmeticThe Journal of Symbolic Logic, 1984
- On the notion of effectivenessHistory and Philosophy of Logic, 1980
- Intuitionist logic, a logic of justificationStudia Logica, 1978
- Logical consequence in modal logic. II. Some semantic systems for ${\rm S}4$.Notre Dame Journal of Formal Logic, 1974
- God, the Devil, and GödelMonist, 1967
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963
- Disjunction and existence under implication in elementary intuitionistic formalismsThe Journal of Symbolic Logic, 1962
- Some Remarks on the Notion of ProofThe Journal of Philosophy, 1960