《圣母院形式逻辑杂志》第29卷
1988年冬季第29卷第1期
撒哈拉沙拉 :
关于用2迭代强制的一些注记 ℵ 0 >ℵ 2 . 1-17 Seiki Akama公司 :
具有强否定和模型理论的构造谓词逻辑。 18-27 西奥多·海尔佩林 :
无限真函数逻辑。 28-33 彼得·拉弗斯 :
关联和选言三段论。 34-44 克里斯·莫滕森 :
编号系统不一致。 45-60 I.L.亨伯斯通 :
正R的操作语义。 61-80 托马斯·贾格尔 :
判决和判决。 81-90 丹尼尔·科恩 :
反制问题。 91-101 Gert-Jan C.Lokhorst公司 :
矛盾的模态状态。 102-105 乔治·舒姆 :
S4的非正规扩展数。 106-108 约翰·朱尔斯·查·梅耶 :
道义逻辑的另一种方法:道义逻辑被视为动态逻辑的变体。 109-136 多尔夫·乌尔里奇 :
E-p-q的五值模型。 137-138 J.L.肖 :
关于双重否定的尼亚语。 139-154 罗伊·索伦森 :
推理论证是论点吗? 155-159 克赖塞尔 :
书评: 作品集,第一卷 [牛津大学出版社,纽约,1986年],作者:K.Gödel。 160-181
1988年春季第29卷第2期
佩尔·林德斯特伦 :
算术中的部分通用公式。 185-192 莱昂纳多·帕西尼 :
几个变量中的广义Hardy域。 193-197 卡尔·H·史密斯 :
关于任意复杂递归函数的注记。 198-207 斯图尔特·夏皮罗 :
林登鲍姆结构和可判定性。 208-213 布鲁斯 :
按字母顺序排列。 214-215 威廉·莱因哈特 :
认识论集合论。 216-228 托马斯·韦斯顿 :
近似真理和Łukasiewicz逻辑。 229-234 弗朗西斯·杰弗里·佩利蒂尔 , W.大卫·夏普 :
关于符号逻辑类中函数不完备性的证明。 235-248 罗素·潘尼尔 , 托马斯·沙利文 :
思维逻辑:如何解决身份的一些悖论。 249-266 罗伊·索伦森 :
通过模糊谓词进行精确化。 267-275
1988年夏季第29卷第3期
米罗斯瓦夫·萨特科夫斯基 :
具有量化的超相关谓词逻辑的语义分析。 281-294 罗曼·穆拉夫斯基 :
Peano算法模型的点态可定义子结构。 295-308 迈克尔·卡明斯基 :
直觉主义命题逻辑的非标准连接词。 309-331 伊尔迪克·塞恩 :
关于向下Löwenheim-Skolem定理的一些圆柱代数版本。 332-344 克劳迪奥·贝尔纳迪 , 保拉·达奎诺 :
可对角化代数的拓扑对偶。 345-364 杰里·阿达梅克 , 艾伦·H·梅克尔 , 伊芙琳·纳尔逊 , 简·雷特曼 :
关于连续代数的逻辑。 365-380 乔治·恩格布雷特森 :
关于一种新的模态三段论的初步说明。 381-395 维克托·潘布奇安 :
简洁。 396-411 丹尼斯·杜赫哈特 :
相对插值的统一方法。 412-419 彼得·费耶尔 , 理查德·肖尔 :
递归可枚举真值表度数的Infima。 420-437 迈克尔·怀特 :
一种“几乎经典的”基于周期的时态逻辑。 438-453
1988年秋季第29卷第4期
提摩太·威廉森 :
比较相似性的一阶逻辑。 457-481 大卫·皮埃尔斯 , 海因里希·瓦辛 :
关于可能世界语义学的方法论。 一、对应理论。 482-496 埃利亚斯·达尔豪斯 , 阿莫斯以色列 , 约翰·马科斯基 :
命题逻辑中插值问题多项式时间算法的存在性。 497-509 克拉罗·R·塞尼萨 :
实质含义和隐含。 510-519 马克·兰斯 :
偶然相关蕴涵的逻辑:R的直观解释中的概念不连贯。 520-529 丹尼尔·齐兹戈夫斯基(Daniel Dzierzgowski) :
多种基本等价。 530-542 凯瑟琳·约翰逊·吴 :
基本的自由逻辑。 543-552 托马斯·E·巴顿 :
乞求“谁是N?”。 553-562 布拉尼斯拉夫·博里西奇 :
关于某些命题中间逻辑的某些可规范化自然演绎公式。 563-568 加里·香农 :
选择公理的弱形式的等价版本。 569-573 J.津巴格·索布利尼奥 :
自我参照系统中的可定义性。 574-578 Djordje立方 :
有无数个三元直觉Sheffer函数。 579-581
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)