Change search
ReferencesLink to record
Permanent link

Direct link
An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited
Stockholm University, Faculty of Humanities, Department of Philosophy.
2014 (English)In: Advances in Natural Deduction: A celebration of Dag Prawitz’s work / [ed] Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva, Dordrecht: Springer Netherlands, 2014, 269-279 p.Chapter in book (Refereed)
Abstract [en]

Thirty years ago I formulated a conjecture about a kind of completeness of intuitionistic logic. The framework in which the conjecture was formulated had the form of a semantic approach to a general proof theory (presented at the 4th World Congress of Logic, Methodology and Philosophy of Science at Bucharest 1971 [6]). In the present chapter, I shall reconsider this 30-year old conjecture, which still remains unsettled, but which I continue to think of as a plausible and important supposition. Reconsidering the conjecture, I shall also reconsider and revise the semantic approach in which the conjecture was formulated.

Place, publisher, year, edition, pages
Dordrecht: Springer Netherlands, 2014. 269-279 p.
, Trends in Logic, ISSN 1572-6126 ; 39
National Category
Research subject
Theoretical Philosophy
URN: urn:nbn:se:su:diva-112077DOI: 10.1007/978-94-007-7548-0_12ISI: 000355750700013ISBN: 978-94-007-7547-3ISBN: 978-94-007-7548-0OAI: diva2:777949
Available from: 2015-01-09 Created: 2015-01-09 Last updated: 2015-11-23Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Prawitz, Dag
By organisation
Department of Philosophy

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 54 hits
ReferencesLink to record
Permanent link

Direct link