An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited
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)
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 ). 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
Research subject Theoretical Philosophy
IdentifiersURN: 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: oai:DiVA.org:su-112077DiVA: diva2:777949