PP-2016-30: van Benthem, Johan (2016) Tales from an Old Manuscript. [Report]
Preview |
Text (Full Text)
PP-2016-30.text.pdf Download (236kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2016-30.abstract.txt Download (844B) |
Abstract
‘Possibility semantics’ for classical logics is on the rise these days, and it throws interesting new light on the borderline between classical and intuitionistic logic.
This note is about a source from 1981 that is attracting some attention, a handwritten Tech Report from the Groningen Institute of Mathematics, never published, but with a facsimile on-line at http://dare.uva.nl/cgi/arno/show.cgi?fid=621016.
I present its content, and discuss what issues this raises that may be of current relevance.
Note: This paper appeared in a Festschrift on the occasion of the retirement of Albert Visser, edited by Jan van Eijck, Rosalie Iemhoff and Joost Joosten.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2016-30 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2016 |
| Uncontrolled Keywords: | possibilities, modal logic, first-order logic, axiom of choice, ultra products, filter products |
| Subjects: | Logic |
| Depositing User: | Johan van Benthem |
| Date Deposited: | 12 Oct 2016 14:37 |
| Last Modified: | 12 Oct 2016 14:37 |
| URI: | https://eprints.illc.uva.nl/id/eprint/566 |
Actions (login required)
 |
View Item |
