{"title":"A Joint Logic of Problems and Propositions","authors":"S. A. Melikhov","doi":"10.1134/S1064562424701916","DOIUrl":null,"url":null,"abstract":"<p>In a 1985 commentary to his collected works, Kolmogorov informed the reader that his 1932 paper <i>On the interpretation of intuitionistic logic</i> “was written in hope that with time, the logic of solution of problems [i.e., intuitionistic logic] will become a permanent part of a [standard] course of logic. A unified logical apparatus was intended to be created, which would deal with objects of two types—propositions and problems.” We construct such a formal system as well as its predicate version, QHC, which is a conservative extension of both the intuitionistic predicate calculus QH and the classical predicate calculus QC. The axioms of QHC are obtained as a result of a simultaneous formalization of two well-known alternative explanations of intiuitionistic logic: (1) Kolmogorov’s problem interpretation (with familiar refinements by Heyting and Kreisel) and (2) the proof interpretation by Orlov and Heyting, as clarified and extended by Gödel.</p>","PeriodicalId":531,"journal":{"name":"Doklady Mathematics","volume":"109 2","pages":"130 - 139"},"PeriodicalIF":0.5000,"publicationDate":"2024-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Doklady Mathematics","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1134/S1064562424701916","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
In a 1985 commentary to his collected works, Kolmogorov informed the reader that his 1932 paper On the interpretation of intuitionistic logic “was written in hope that with time, the logic of solution of problems [i.e., intuitionistic logic] will become a permanent part of a [standard] course of logic. A unified logical apparatus was intended to be created, which would deal with objects of two types—propositions and problems.” We construct such a formal system as well as its predicate version, QHC, which is a conservative extension of both the intuitionistic predicate calculus QH and the classical predicate calculus QC. The axioms of QHC are obtained as a result of a simultaneous formalization of two well-known alternative explanations of intiuitionistic logic: (1) Kolmogorov’s problem interpretation (with familiar refinements by Heyting and Kreisel) and (2) the proof interpretation by Orlov and Heyting, as clarified and extended by Gödel.
期刊介绍：
Doklady Mathematics is a journal of the Presidium of the Russian Academy of Sciences. It contains English translations of papers published in Doklady Akademii Nauk (Proceedings of the Russian Academy of Sciences), which was founded in 1933 and is published 36 times a year. Doklady Mathematics includes the materials from the following areas: mathematics, mathematical physics, computer science, control theory, and computers. It publishes brief scientific reports on previously unpublished significant new research in mathematics and its applications. The main contributors to the journal are Members of the RAS, Corresponding Members of the RAS, and scientists from the former Soviet Union and other foreign countries. Among the contributors are the outstanding Russian mathematicians.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
