Propositions as games as types
- 1 September 1988
- journal article
- Published by Springer Nature in Synthese
- Vol. 76 (3) , 377-395
- https://doi.org/10.1007/bf00869607
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Proof Theory and MeaningPublished by Springer Nature ,1986
- The Game of LanguagePublished by Springer Nature ,1983
- Language games and intuitionismSynthese, 1979
- Meaning and proofs: on the conflict between classical and intuitionistic logicTheoria, 1977
- Ideas and Results in Proof TheoryPublished by Elsevier ,1971
- Mood and language-gameSynthese, 1967
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958