规则生成定理及其应用

Q2 Arts and Humanities

Bulletin of the Section of Logic Pub Date : 2018-12-30 DOI:10.18778/0138-0680.47.4.03

Andrzej Indrzejczak

{"title":"规则生成定理及其应用","authors":"Andrzej Indrzejczak","doi":"10.18778/0138-0680.47.4.03","DOIUrl":null,"url":null,"abstract":"In several applications of sequent calculi going beyond pure logic, an introduction of suitably defined rules seems to be more profitable than addition of extra axiomatic sequents. A program of formalization of mathematical theories via rules of special sort was developed successfully by Negri and von Plato. In this paper a general theorem on possible ways of transforming axiomatic sequents into rules in sequent calculi is proved. We discuss its possible applications and provide some case studies for illustration.","PeriodicalId":38667,"journal":{"name":"Bulletin of the Section of Logic","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2018-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Rule-Generation Theorem and its Applications\",\"authors\":\"Andrzej Indrzejczak\",\"doi\":\"10.18778/0138-0680.47.4.03\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In several applications of sequent calculi going beyond pure logic, an introduction of suitably defined rules seems to be more profitable than addition of extra axiomatic sequents. A program of formalization of mathematical theories via rules of special sort was developed successfully by Negri and von Plato. In this paper a general theorem on possible ways of transforming axiomatic sequents into rules in sequent calculi is proved. We discuss its possible applications and provide some case studies for illustration.\",\"PeriodicalId\":38667,\"journal\":{\"name\":\"Bulletin of the Section of Logic\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-12-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bulletin of the Section of Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.18778/0138-0680.47.4.03\",\"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.47.4.03","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"Arts and Humanities","Score":null,"Total":0}

引用次数: 7

摘要

在超越纯逻辑的序列演算的几个应用中，引入适当定义的规则似乎比添加额外的公理序列更有利可图。Negri和von Plato成功地开发了一个通过特殊规则对数学理论进行形式化的程序。本文证明了在序列演算中将公理序列转化为规则的可能方法的一个一般定理。我们讨论了它可能的应用，并提供了一些实例来说明。

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

查看原文本刊更多论文

Rule-Generation Theorem and its Applications

In several applications of sequent calculi going beyond pure logic, an introduction of suitably defined rules seems to be more profitable than addition of extra axiomatic sequents. A program of formalization of mathematical theories via rules of special sort was developed successfully by Negri and von Plato. In this paper a general theorem on possible ways of transforming axiomatic sequents into rules in sequent calculi is proved. We discuss its possible applications and provide some case studies for illustration.

求助全文

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

来源期刊

Bulletin of the Section of Logic Arts and Humanities-Philosophy

CiteScore

0.90

自引率

0.00%

发文量

审稿时长

8 weeks