A proof-theoretical investigation of global intuitionistic (fuzzy) logic

被引：8
|
作者：
Ciabattoni, A [1 ]
机构：
[1] TU Wien, Inst Diskrete Math & Geometrie, Res Grp Computat Log, Vienna, Austria
来源：
ARCHIVE FOR MATHEMATICAL LOGIC | 2005年 / 44卷 / 04期
关键词：
modal predicate logics; globalization; hypersequent calculi; cut-elimination;
D O I：
10.1007/s00153-004-0265-8
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We perform a proof-theoretical investigation of two modal predicate logics: global intuitionistic logic GI and global intuitionistic fuzzy logic GIF. These logics were introduced by Takeuti and Titani to formulate an intuitionistic set theory and an intuitionistic fuzzy set theory together with their metatheories. Here we define analytic Gentzen style calculi for GI and GIF. Among other things, these calculi allows one to prove Herbrand's theorem for suitable fragments of GI and GIF.
引用
收藏
页码：435 / 457
页数：23
相关论文
共 50 条
12345