《圣母院形式逻辑杂志》第27卷
第27卷第1期,1986年1月
撒哈拉沙拉 , 查尔斯·斯坦霍恩 :
关于某些逻辑通过有限多个模式的非对称性。 1-11 梅尔文·R·克罗姆 :
非正规的线性有序拓扑空间。 12-13 埃尔曼诺·本西文加 :
分析性和分析真理。 14-19 彼得·福雷斯特 :
自由行为的逻辑和上帝的力量。 20-38 艾伦·H·梅克尔 , 撒哈拉沙拉 :
静态逻辑及其朋友。 二、。 39-50 罗伯特·法雷尔 :
含意和预设。 51-61 乔治·恩格布雷特森 :
Czeżowski关于野生数量。 62-65 理查德·斯塔特曼 :
求解更高类型的函数方程:一些例子和一些定理。 66-74 梅尔文配件 :
关于克里普克真理理论的数学方面的注释。 75-88 利昂·哈克勒路 :
流形上的迭代图像。 89-92 布鲁斯·E·R·汤普森 :
带有统计量词的三段论。 93-103 乔治·恩格布雷特森 :
单数/通用。 104-107 乔治·舒姆 :
模态逻辑中的一些插值失败。 108-110 马特·考夫曼 , 撒哈拉沙拉 :
平稳逻辑的Hanf数。 111-123 丹尼尔·科恩 :
Belnap条件断言的新公理化。 124-132 保罗·道 :
罗素的第一个表示和量化理论。 133-166
第27卷第2期,1986年4月
套件精细 :
分析含义。 169-179 阿农·阿夫隆 :
关于纯粹相关的逻辑。 180-194 克里斯·莫滕森 :
回复伯吉斯并阅读。 195-200 阿诺·阿夫伦 :
关于RM的一个蕴涵连接词。 201-209 查尔斯·麦卡蒂 :
可变现性下的可分拆性。 210-220 查尔斯·丹尼尔斯 :
隐含的故事语义。 221-246 埃尔曼诺·本西文加 , 卡雷尔·兰伯特 :
带有简单谓词和复杂谓词的自由逻辑。 247-256 金·布鲁斯 :
静态逻辑中的模型构造。 二、。 可定义的超能力。 257-262 撒哈拉沙拉 :
关于奇异基数的力量。 263-299
第27卷第3期,1986年7月
杰里·福多 :
信息和关联。 307-323 乔恩·巴维斯 :
信息和环境。 324-338 大卫·哈拉 :
消息语义。 339-348 索姆斯 :
不完整的明确描述。 349-375 罗曼·克拉克 :
谓词和同源修饰语。 376-392 托马斯·麦凯 :
他那条燃烧的裤子。 393-400 内森·萨尔蒙 :
自反性。 401-429 史蒂文·瓦格纳 :
加州语义学符合这个伟大的事实。 430-455
第27卷第4期,1986年10月
艾伦·威尔 :
古典和谐。 459-482 丹尼尔·道尔蒂 :
Gentzen系统、分辨率和文字树。 483-503 克里斯特·塞格伯格 :
具有功能替代关系的模态逻辑。 504-522 马提亚斯·巴兹 :
达科斯塔次一致逻辑C的克里普克类型语义 ω . 523-527 埃里克·C·W·克拉布 , 穆德 , 阿尔伯特·维瑟 , 德克·范·戴伦 :
HA的有限Kripke模型是局部PA。 528-532 Josep Maria字体 :
直觉模态逻辑中的模态和可能性。 533-546 A.S.特洛伊斯特拉 :
带surpjective配对的类型化术语的强规范化。 547-550 兹兹拉夫·迪万 :
经典命题演算中哥德尔-马尔科夫定理的一个新变体及其对我论文的修正:“模态逻辑S的必要性连接 5 是元逻辑的”。 551-555 阿尔贝托·扎纳多 :
关于“现在和过去的不可预见性”框架的特征。 556-564 理查德·巴特里克 :
具有跨原子单位的句子逻辑系统。 565-571 马丁·扎克曼 :
有限多个不同种类的序数的和。 572-578 安德烈亚斯·布拉斯 :
滤波器的近相干性。 算法模型的共最终等价。 579-591 Guus Broesterhuizen先生 , 杰德泽·维尔泽耶夫斯基 :
同一性和不可辨别性。 592-605