{"title":"On the Proof-Theoretic Foundations of Set Theory","authors":"Lars Hallnäs","doi":"10.1007/978-3-319-22686-6_10","DOIUrl":"https://doi.org/10.1007/978-3-319-22686-6_10","url":null,"abstract":"","PeriodicalId":173577,"journal":{"name":"Advances in Proof-Theoretic Semantics","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127713660","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Categorical Harmony and Paradoxes in Proof-Theoretic Semantics","authors":"Y. Maruyama","doi":"10.1007/978-3-319-22686-6_6","DOIUrl":"https://doi.org/10.1007/978-3-319-22686-6_6","url":null,"abstract":"","PeriodicalId":173577,"journal":{"name":"Advances in Proof-Theoretic Semantics","volume":"07 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122389138","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Advances in Proof-Theoretic Semantics: Introduction","authors":"T. Piecha, P. Schroeder-Heister","doi":"10.1007/978-3-319-22686-6_1","DOIUrl":"https://doi.org/10.1007/978-3-319-22686-6_1","url":null,"abstract":"","PeriodicalId":173577,"journal":{"name":"Advances in Proof-Theoretic Semantics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127507974","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Completeness in Proof-Theoretic Semantics","authors":"T. Piecha","doi":"10.1007/978-3-319-22686-6_15","DOIUrl":"https://doi.org/10.1007/978-3-319-22686-6_15","url":null,"abstract":"","PeriodicalId":173577,"journal":{"name":"Advances in Proof-Theoretic Semantics","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114551110","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Open Problems in Proof-Theoretic Semantics","authors":"P. Schroeder-Heister","doi":"10.15496/PUBLIKATION-23421","DOIUrl":"https://doi.org/10.15496/PUBLIKATION-23421","url":null,"abstract":"I present three open problems the discussion and solution of which I consider relevant for the further development of proof-theoretic semantics: (1) The nature of hypotheses and the problem of the appropriate format of proofs, (2) the problem of a satisfactory notion of proof-theoretic harmony, and (3) the problem of extending methods of proof-theoretic semantics beyond logic.","PeriodicalId":173577,"journal":{"name":"Advances in Proof-Theoretic Semantics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126710921","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Towards a Proof-Theoretic Semantics of Equalities","authors":"R. Kahle","doi":"10.1007/978-3-319-22686-6_9","DOIUrl":"https://doi.org/10.1007/978-3-319-22686-6_9","url":null,"abstract":"","PeriodicalId":173577,"journal":{"name":"Advances in Proof-Theoretic Semantics","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117066938","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
求助内容：
应助结果提醒方式：