《数学逻辑季刊》第34卷
1988年第34卷第1期
德克·范·戴伦 , 弗·扬·德弗里斯 :
直觉自由阿贝尔群。 3-12 科斯塔斯·迪米特拉科普洛斯 , 杰夫·B·巴黎 :
关于H.弗里德曼一个定理的注记。 13-17 雷·詹宁斯 , J.M.佩勒姆 , 罗伯特·奥图尔 :
一些替代莱布尼兹框架中的模态不确定性。 19-24 丹尼尔·亚伯拉罕·罗曼诺 :
环与场,一个建设性的观点。 25-40 马西耶·坎杜尔斯基 :
非联想Lambek范畴语法和上下文无关语法的等价性。 41-52 汉斯·克莱恩·勃宁 , 西奥多·莱特曼 :
连词量化形式的一阶公式。 53-64 J.W.德根 :
可能存在一个不是两次反射的产物的排列。 65-66 迈克尔·多伊奇 :
Eine Bemerkung Zur Spektralen Darstellung Aufzählbarer Und Koaufzáhlbarer-Prädikate Durch Ausdrücke Aus∀∞(ϱ,1)。 67-78 斯特鲁夫 , 罗尔夫·斯特鲁夫 :
Zum Begriff Der Projektiv-Metrischen Ebene项目。 79-88 埃尔哈德·奎瑟 :
Zum Stufenaufbau Von在Spiegelungsgeometrischer Darstellung中的翻译。 89-95
1988年第2期第34卷
马克·曼德尔克恩 :
构造完备有限集。 97-103 施平东 :
使用单个量词对公式进行定义。 105-108 迈克尔·H·阿尔伯特 , 斯坦利·伯里斯 :
有界障碍物、模型伴侣和合并基础。 109-115 安东尼·托伦斯 :
论多项式的作用( X→Y ) → Y(Y) 在一些蕴涵代数中。 117-122 扬·克拉切克 :
模态集理论MST中的一些结果和问题。 123-134 Wojciech Zielonka公司 :
空字符串无积Lambek微积分的Cut-Rule公理化。 135-142 安杰伊·奥利茨基 :
枚举和部分枚举代数的强可约性。 143-162 迈克尔·多伊奇 :
Eine Bemerkung Zur Spektralen Darstellung Vonϱ-Stelligen Aufzählbaren Und Koaufzáhlbaren-Prädikaten Durch Ausdrücke Aus∃ ∞ ∀ ϵ ∃(ϱ, 1) ∀ ∞ ∃(ϱ,1)Und∀ ∞ ∃(∞, 1). 163-176 克劳斯·德内克 :
代数Eigenschaften Eines函数Unvollständigen Dreiwertigen Aussagenkalküls。 177-188 皮埃尔·马特 :
的某些方面 n个 -微妙。 189-192
1988年第34卷第3期
让·纪尧姆·哈根多夫 :
Totaux的Sor La重建。 193-200 马丁·扎克曼 :
3或4个序号的乘积。 201-204 莱拉Z.普加 , 牛顿·C·A·达·科斯塔 :
论N.A.VASILIEV的想象逻辑。 205-211 丹尼尔·格卢申科 , 米盖尔·蒂利 :
希尔伯特代数范畴中的极大演绎系统和内射对象。 213-220 大卫·W·库克 :
虚句和覆盖定理。 221-228 迪克·德容 , 佛朗科·蒙塔格纳 :
可证明的固定点。 229-250 乔瓦娜·科尔西 :
带有刚性项的量化模态逻辑。 251-259 佐菲亚·阿达莫维奇 , 罗曼·科萨克 :
关于B∑的注记 n个 和中间归纳模式。 261-264 安德烈·奥利基 :
枚举集类别上的二进制关系。 265-276 马庭·库摩 :
Co-R.E.集的长度问题。 277-282 查尔斯·德尔泽尔 :
更正“关于丢番图方程上量词前缀的注释”。 283-286 Josep Maria字体 :
对“Heyting矩阵的一些备注”的更正。 287-288
1988年第34卷第4期
利奥波多·罗曼 :
超丢番图类。 289-295 贝内代托·因特里吉拉 :
递归格式约简的否定结果。 297-300 罗伯特·K·迈耶 , 埃罗尔·马丁 , 史蒂夫·吉安布罗内 , 阿拉斯代尔·厄克哈特 :
半格逻辑证明理论的进一步结果。 301-304 F.W.峡谷 :
关于马尔可夫语言所有真公式转换的不可能性 L(左) 1 成为他语言的真正公式。 305-307 安东·索科尔 :
ZF模型上函数的可扩展性 翅片 . 309-315 Günter Asser公司 :
Zur Robinson Charakterierung Der Einstelligen Primitiv Rekursiven Wortfunktionen公司。 317-322 高桥俊二 , 川崎市 :
完备布尔代数上理想和的精确性。 323-330 弗雷德里克·巴盖米尔 :
阿列夫假设及其对贝丝、贝丝总和和阿列夫无限乘积的影响。 331-336 J.理查德·比奇 , 史蒂文·森格 :
级联存在主义理论中的可定义性和该理论的不可判定扩展。 337-342 帕斯卡·奥斯特曼 :
多值模态命题演算。 343-354 丹尼尔·理查森 :
实变量初等函数理论的非标准模型。 355-372 马西耶·坎杜尔斯基 :
由带有乘积的范畴语法生成的短语结构语言。 373-383
1988年第34卷第5期
Seiki Akama公司 :
论构造虚假性的证明方法。 385-392 Hiroya Kawai先生 :
时序逻辑T的完备性定理 Ω 和□T Ω . 393-398 希尔伯特·莱维茨 , 沃伦·尼科尔斯 :
阿克曼函数的自然变体。 399-401 安德烈亚·坎蒂尼 :
两个不折不扣的性质和集合理论。 403-420 安妮·普雷勒 , N.Lafaye de Michoaux公司 :
具有结构和连贯性问题的范畴中的意向平等。 421-432 皮埃尔路易吉·米纳里 :
论比较逻辑的语义学。 433-448 帕维尔·帕兹迪卡 :
关于只具有一个二元关系的模型的重构。 449-462 特奥多尔·斯蒂芬 :
论Lindenbaum扩张的唯一性。 463-469 丹尼尔·亚伯拉罕·罗曼诺 :
集合的笛卡尔积上的等式与共格关系。 471-480
1988年第6期第34卷
巴瓦尼·M·图赖辛厄姆 :
一个度的表示方法 n个 -圆柱形决策问题。 481-490 巴里·库珀 , C.S.Copestake公司 :
适当∑ 2 枚举度。 491-522 利昂·哈克勒路 :
模糊回归和可追溯性。 523-529 Rusins Freivalds公司 , Efim B.Kinber公司 , 罗尔夫·维哈根 :
非标准编号中的概率与确定性归纳推理。 531-539 米查尔·克雷尼基 :
口译和非基础语言的概念。 541-552 安德烈·奥利基 :
关于代数枚举类型的几个问题。 553-562 约瑟夫·斯拉帕尔 :
α型关系。 563-573