意义即用途：命题同一性案例

Q2 Arts and Humanities

Bulletin of the Section of Logic Pub Date : 2024-05-20 DOI:10.18778/0138-0680.2024.05

Patrycja Kupś, Szymon Chlebowski

{"title":"意义即用途：命题同一性案例","authors":"Patrycja Kupś, Szymon Chlebowski","doi":"10.18778/0138-0680.2024.05","DOIUrl":null,"url":null,"abstract":"We study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of proof-theoretic semantics. We argue that the identity connective is a natural operator to be treated under the elimination rules as basic approach.","PeriodicalId":38667,"journal":{"name":"Bulletin of the Section of Logic","volume":"83 2","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Meaning is Use: the Case of Propositional Identity\",\"authors\":\"Patrycja Kupś, Szymon Chlebowski\",\"doi\":\"10.18778/0138-0680.2024.05\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of proof-theoretic semantics. We argue that the identity connective is a natural operator to be treated under the elimination rules as basic approach.\",\"PeriodicalId\":38667,\"journal\":{\"name\":\"Bulletin of the Section of Logic\",\"volume\":\"83 2\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-05-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bulletin of the Section of Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.18778/0138-0680.2024.05\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"Arts and Humanities\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the Section of Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.18778/0138-0680.2024.05","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"Arts and Humanities","Score":null,"Total":0}

引用次数: 0

摘要

我们从证明论语义学的角度研究了具有命题同一性的直观逻辑片段的自然演绎系统。我们认为，同一性连接词是一种自然运算符，可以作为基本方法在消元规则下处理。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Meaning is Use: the Case of Propositional Identity

We study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of proof-theoretic semantics. We argue that the identity connective is a natural operator to be treated under the elimination rules as basic approach.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Bulletin of the Section of Logic Arts and Humanities-Philosophy

CiteScore

0.90

自引率

0.00%

发文量

审稿时长

8 weeks