On Herbrand-like Theorems for Cut-free Modal Sequent Logics

被引：0
|
作者：
Lyaletski, Alexander [1 ]
机构：
[1] Kyiv Natl Taras Shevchenko Univ, Fac Cybernet, Kiev, Ukraine
来源：
11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009) | 2009年
关键词：
D O I：
10.1109/SYNASC.2009.63
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The purpose of the research presented in this paper is to extend the author's results on sequent forms of Herbrand theorems for classical and intuitionistic logics onto classical and intuitionistic modal sequent logics. It was found that the technique reported at the SYNASC 2008 symposium and based on the original notions of admissibility and compatibility can satisfactorily be applied for proving Herbrand theorems for the logics under consideration in the sequent form.
引用
收藏
页码：102 / 109
页数：8
相关论文
共 50 条
12345