《纯粹逻辑与应用逻辑年鉴》第141卷
第141卷,编号1-2,2006年8月
约翰·克鲁格 :
添加带有正方形的球杆。 1-28 罗伯特·卢巴斯基 :
CZF和二阶算术。 29-34 马塞洛·菲奥雷 , 罗贝多·迪·科斯莫 , 文森特·巴拉特 :
关于具有空类型和和类型的类型lambda演算中同构的注记。 35-50 乔治·巴姆帕利亚斯 , 安德鲁·刘易斯 :
可计算可枚举集的ibT度不是稠密的。 51-60 韦斯利·卡尔弗特 , 道格拉斯·森泽 , 瓦伦蒂娜·哈里扎诺夫 , 安德烈·莫罗佐夫 :
等价结构的有效分类。 61-78 李昂生(Angsheng Li) , 吴国华 , 岳阳 :
限定Ershov层次结构中可计算的可枚举度。 79-88 菲利普·格哈迪 , 乌尔里希·科伦巴赫 :
半构造证明的强一致界。 89-107 莫妮卡·范·迪伦 :
没有最大模型的抽象初等类中的范畴。 108-147 佛朗科·蒙塔格纳 :
命题多值逻辑中的插值和Beth性质:语义研究。 148-179 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
初等规范公式:推广Sahlqvist定理。 180-217 帕维尔·诺莫夫 :
演绎闭包的模态逻辑。 218年至224年 科斯塔·多森 , 佐兰·佩特里克 :
恒星自主类别的一致性。 225-242 尼古拉·克鲁普西 :
在反射组合逻辑中键入。 243-256 石原慎美 , 埃里克·帕尔姆格伦 :
构造集理论和类型理论中的商拓扑。 257-265 伊夫·吉拉德 :
证明的三个维度。 266-295 石原慎美 , 雷矿业公司 , 彼特·舒斯特 , Luminita Vìta(发光菌) :
准party和邻域空间。 296-306
第141卷第3期,2006年9月
尤里·马蒂亚塞维奇 , 谢尔盖·N·阿特莫夫 :
前言。 307 丹尼尔·博基尔 :
一元抽象状态机的可决定属性。 308-319 安纳托利·彼得罗维奇·贝尔蒂乌科夫(Anatoly Petrovich Beltiukov) :
严格有界二阶算法的非共振下限。 320-324 迈克尔·德克蒂亚 , 亚历山大·贾。 迪科夫斯基 , 马尔斯·瓦利耶夫 :
交互代理行为验证的复杂性。 336-362 S.弗拉塔尼 , 盖劳德·塞尼泽格斯 :
迭代下推自动机和有理数序列。 363-411 迪马·格里戈里耶夫 , 谢尔盖·瓦库连科 :
生物模式形成问题的算法和复杂性。 412-428 爱德华·赫施 , 阿里斯特·科耶夫尼科夫 :
关于Gomory-Chvátal削减的力量的几点说明。 429-436 安德烈·穆奇尼克 , 亚历克谢·塞梅诺夫 :
简单集和超简单集的收敛性、描述性复杂性和自然示例的有效边界。 437-441 迈克尔·拉琴 , 谢尔盖·图帕伊洛 :
描述马丁洛夫类型论中集合论的解释。 442-471 丹·威拉德 :
第二不完全性定理的推广及其一些例外。 472-496
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)