michaelt
Wrong year for 'On the Meanings of the Logical Constants...' in the README
The date entry for 'On the Meanings of the Logical Constants and the Justification of Logical Laws' in the README is 1983 (the year of the lectures) but the article was published on 1996.
For understanding the progression of Martin-Löf's Thought, it's more useful IMO to have the 1983 date; for bibliographical purposes, of course the data of publishing should be used. At least, that's my two cents.
I have seen cited a previous version of the article as
Per Martin-Löf. On the meanings of the logical constants and the justifications of the logical laws. Technical Report 2, Scuola di Specializzazione in Logica Matematica, Dipartimento di Matematica, Università di Siena, 1985.
Is this technical report available? If so, we could have the two entries in the README.
It seems the above technical report is available here. Should I create a PR adding this technical report?
It seems the above technical report is available here. Should I create a PR adding this technical report?
Is this any different from the standard version? I'm curious. At first glance it just looks like different typesetting...
From the last page in the 1996 paper:
The preceding three lectures were originally published in the Atti degli Incontri di Logica Matematica, Vol. 2, Scuola di Specializzazione in Logica Matematica, Dipartimento di Matematica, Università di Siena, 1985, pp. 203–281. Since they have been difficult to obtain, and are now even out of print, they are reprinted here by kind permission of the Dipartimento di Matematica, Università di Siena. Only typing errors have been corrected.