X-2016-04: The Johansson/Heyting letters and the birth of minimal logic

X-2016-04: der Molen, Tim van (2016) The Johansson/Heyting letters and the birth of minimal logic. [Report]

[img]
Preview
Text (Full Text)
X-2016-04.text.pdf

Download (243kB) | Preview
[img] 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 View Item