首页 | 本学科首页   官方微博 | 高级检索  
   检索      


Sequent Calculi for $${\mathsf {}}$$
Authors:Szymon Chlebowski
Institution:1.Chair of Logic and Cognitive Science,Adam Mickiewicz University,Poznan,Poland
Abstract:In this paper we are applying certain strategy described by Negri and Von Plato (Bull Symb Log 4(04):418–435, 1998), allowing construction of sequent calculi for axiomatic theories, to Suszko’s Sentential calculus with identity. We describe two calculi obtained in this way, prove that the cut rule, as well as the other structural rules, are admissible in one of them, and we also present an example which suggests that the cut rule is not admissible in the other.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号