《圣母院形式逻辑杂志》第35卷
第35卷第1期,1994年冬季
亨利克·科特拉斯基 , 理查德·凯 :
真算术模型的自同构:识别一些基本的开子群。 1-14 罗兰·希尼翁 :
部分逻辑和悖论逻辑中具有可拓性的朴素集理论。 15-40 玛丽·拉帕尔梅·雷耶斯 , 约翰·麦克纳马拉 , 冈萨洛·雷耶斯 :
三段论中的功能性和语法作用。 41-66 吉安·阿尔多·安东内利 :
修订的复杂性。 67-72 艾里克·哈默 :
用句子和图表进行推理。 73-87 拉蒙·贾萨纳 :
与冯·赖特的地点逻辑有关的一些逻辑。 88-98 大卫·查尔斯·麦卡蒂 :
关于哥德尔定理和克里塞尔定理:完备性和马尔可夫原理。 99-107 斯蒂芬·波拉德 , 诺曼·M·马丁 :
封闭系统的收缩。 108-115 格雷格·雷斯塔尔 :
亚直觉逻辑。 116-129 大卫·奥尔巴赫 :
用数字来表达。 130-146 多梅尼科·赞比拉 :
含IΔ理论对角化代数子代数的Shavrukov定理 0秒 +出口。 147-157
第35卷第2期,1994年春季
V.Yu。 沙夫鲁科夫 :
皮亚诺的聪明孩子。 161-185 佛朗科·蒙塔格纳 , 安东尼拉·曼奇尼 :
最小预测集理论。 186-203 吉安·阿尔多·安东内利 :
算术层次的修正理论分析。 204-218 柳池浩里(Ryuichi Hori) , 小野博基拉 , 哈罗德·谢林克斯 :
用打结结构规则扩展直觉主义线性逻辑。 219-242 C.F.M.Vermeulen先生 :
命题文本的增量语义。 243-271 爱德华多·米兹拉吉 :
向量逻辑中的模式。 272-283 利昂·霍斯顿 :
夏皮罗认识算术系统的模态认识变体。 284-291 克里斯托弗·里里 :
愉快理想的结构。 292-298
1994年夏第35卷第3期
沃尔克·哈尔巴赫 :
完整一致的真理体系。 311-327 詹姆斯·夏普 , 西蒙·托马斯 :
一致化问题与无穷对称群的余终结性。 328-345 乔治·贾帕里泽 :
π的算术完全性的一个简单证明 1 -保守性逻辑。 346-354 青山浩史 :
基于Kleene强三值逻辑的系统的强完备性。 355-368 Josep Maria字体 , 冈萨洛·罗德里格斯 :
关联逻辑两个演绎系统的代数研究。 369-397 R.Chartrand公司 , 托马斯·库塞拉 :
不可分解内射模幂的Deissler秩复杂性。 398-402 菊地真 , 田中和辅 :
哥德尔定理的模型理论证明的形式化。 403-412 哈特穆特·霍夫特 , 保罗·霍华德 :
线性序集的良序子集。 413-425 帕特里齐奥·辛蒂奥利 , 索罗·图利帕尼 :
Σ 1 1 -子树关系树理论片断的完备性。 426-432 华莱士·A·墨菲 :
三段论的分布无关性。 433-449 迈克尔·扎克哈里亚舍夫 :
Hosoi和Ono问题的新解决方案。 450-457 拉尔夫·迪特尔·辛德勒 :
集合论哲学的困境。 458-463
第35卷第4期,1994年秋季
克劳迪奥·塞拉托 :
基于正规模态逻辑严格蕴涵的自然演绎。 471-495 兹拉坦·达姆贾诺维奇 :
基本函数和LOOP程序。 496-522 贝内代托·因特里吉拉 :
关于lambda-Calculus中数值系统的一些结果。 523-541 格雷格·霍尔思 :
Π 1 1 良好的关系。 542-549 哈尼尔·安德雷卡 , 罗杰·马杜克斯 :
小关系代数的表示。 550-562 乔瓦娜·达戈斯蒂诺 :
可对角化代数的拓扑结构及其理论的逻辑性质。 563-572 帕特里夏·约翰 :
组合逻辑中的正规形式。 573-594 托马斯·斯库拉 :
模态逻辑中对有限模型的句法反驳。 595-605
![](https://dblp.org/img/cog.dark.24x24.png)