X-2016-04: der Molen, Tim van (2016) The Johansson/Heyting letters and the birth of minimal logic. [Report]
Preview |
Text (Full Text)
X-2016-04.text.pdf Download (243kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
X-2016-04.abstract.txt Download (471B) |
Abstract
In 1935 and 1936 Johansson and Heyting exchanged a series of letters. This exchange inspired Johansson to develop his minimal logic which he ultimately published in an article in 1937. This report summarises Johansson's article and letters, and discusses a number of interesting details of the letters.
| Item Type: | Report |
|---|---|
| Report Nr: | X-2016-04 |
| Series Name: | Technical Notes (X) Series |
| Year: | 2016 |
| Uncontrolled Keywords: | Johansson, Heyting, minimal logic, implication, ex falso quodlibet |
| Subjects: | Logic |
| Depositing User: | tim |
| Date Deposited: | 12 Oct 2016 14:38 |
| Last Modified: | 12 Oct 2016 14:38 |
| URI: | https://eprints.illc.uva.nl/id/eprint/696 |
Actions (login required)
 |
View Item |
