Hypersequent and Display Calculi – a Unified Perspective
Hypersequent and Display Calculi – a Unified Perspective
复制标题
超序列和显示演算——统一的视角
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
H. Wansing
中科院分区：
文献类型：
--
作者：
A. Ciabattoni;Revantha Ramanayake;H. Wansing
本文综述了非经典逻辑证明论中的超序列和显示序列方法。与现有的调查致力于hyperlipidic结石或显示结石相比，我们的目的是提供一个统一的观点，这两个形式主义突出他们的差异和相似之处，并讨论应用程序和最近的结果连接和比较它们。
This paper presents an overview of the methods of hypersequents and display sequents in the proof theory of non-classical logics. In contrast with existing surveys dedicated to hypersequent calculi or to display calculi, our aim is to provide a unified perspective on these two formalisms highlighting their differences and similarities and discussing applications and recent results connecting and comparing them.
通过 Birkhoff 对偶性和余代数有限生成自由 Heyting 代数
影响因子：
0.6
作者：
Bezhanishvili N
通讯作者：
Bezhanishvili N