《圣母院形式逻辑杂志》第15卷
第15卷第1期,1974年1月
威尔弗雷德·马尔科姆 :
高阶超积理论中的一些结果和代数应用。 1-15 迈克尔·劳克斯 , 重量。 大卫·所罗门 :
奎因论指称的不可测性和相对性。 16-24 马丁·邦德 :
基于组合逻辑的命题和谓词计算。 25-34 约翰·伊文登 :
广义逻辑。 35-44 罗德里克·贾尔 :
可能的预设自由逻辑。 45-62 乔丹·霍华德·索贝尔 :
数学原理 描述理论:经典和替代符号。 63-72 彼得·安德鲁斯 :
分辨率和分析的一致性。 73-84 尤根·米哈伊莱斯库 :
《尼科德教授的亲身经历》(Les propriés du functeur Nico d par relationále réciprocitéet conconction)。 二、。 85-96 J.迈克尔·邓恩 , 拥抱勒布朗 , 罗伯特·梅耶 :
相关量化理论的完整性。 97-121 约翰·罗森塔尔 :
Th(<ω)的模型 ω ,<>). 122-132 乔恩·穆齐奥 :
部分通用决策元素。 133-140 罗伯特·E·克莱 :
一些水文模型。 141-146 乔治·舒姆 :
S3.02=S3.03。 147-148 J.G.安德森 :
关于有限中间逻辑的注记。 149-155 大卫·梅雷迪斯 :
组合逻辑和命题逻辑。 156-160 拉尔夫·L·斯拉格特 :
一种将包含标准真函数连接词的命题公式转换为Sheffer笔划等价词的简明方法; 加上方法的扩展。 161-164 罗伯特·温格特 :
为De Morgan的论点提供架构。 165-166 布鲁斯·怀特 :
关于多值逻辑中自然演绎的注记。 167-168 博列斯瓦·索博辛斯基 :
关于S4.02的适当公理。 169-172 T.Y.Pak公司 :
麦考利和逻辑。 173-175 弗兰克·福克斯 :
一致性证明的注释。 176
第15卷第2期,1974年4月
曼弗雷德·萨博 :
证明的绝对等价。 177-191 马丁·邦德 :
基于组合逻辑的各种集合论系统。 192-206 詹姆斯·费布尔曼 :
奎因教授和真正的课堂。 207年至224年 罗伯特·P·麦克阿瑟 , 大卫·韦尔克 :
非断言推理。 225-244 郑忠英 :
关于指称及其条件。 245-264 霍华德·华瑟曼 :
可接受规则、可衍生规则和可扩展物流系统。 265-278 Günther Frei-Imfeld先生 :
U-ber eine Erweiterung der algebraischen Operationen。 279-288 罗伯特·戈德布拉特 :
Z模态系统的研究。 289-294 乔治·舒姆 :
K(K) 和 Z轴 . 295-297 保罗·文森特·斯派德 :
奥克姆谈自我参照。 298-300 博胡斯拉夫·佩科洛 :
Sind die deontischen Funktoren分布? 301-311 约翰内斯·切尔马克 :
矩阵计算SS1M和SS1I与公理系统的比较。 312-316 托马斯·M·赫恩 , 卡尔·G·瓦格纳 :
布尔减法代数。 317-324 哈罗德·戈德堡 , 拥抱勒布朗 , 乔治·韦弗 :
三值逻辑的一个强完备性定理。 325至330 赞恩公园 , 特里·史密斯 :
Hughes和Cresswell对CI系统的语义不足。 331-332 赞恩公园 :
偶然身份系统的语义。 333-334 Wilson E.Singletary公司 :
多个度与部分命题计算相关。 335-343 肯尼思·科利尔 :
扩展Bochvar三值逻辑的结果。 344-346 伊沃·托马斯 :
亚里士多德的一段话。 347-348 亚历克斯·布卢姆 :
关于自然演绎的注释。 349-350 霍华德·波塞尔 , 查尔斯·沃纳 :
从特殊到一般的演绎推理。 351-352
第15卷第3期,1974年7月
阿尔伯特·萨德 :
vérité的标志,无障碍的含义,最近的情况。 353-369 科科伦 , 乔治·韦弗 :
模态逻辑中的逻辑结果。 二、。 S4的一些语义系统。 370-378 加里·吉尔福德-格里森 :
正常和倾斜系统。 379-401 查尔斯·基尔科夫 :
K1是道森对a.R.安德森的“应该”感的建模。 402-410 利奥·西蒙斯 :
没有重言式的逻辑。 411-431 H.朱利安·沃德利 :
把简单的类型理论翻译成一级语言。 432-442 牛顿·C·A·达·科斯塔 :
α-模型与系统T和T * . 443-454年 路易斯·F·戈布尔 :
模态逻辑的Gentzen系统。 455-461 玛丽·西里奇 :
舍伍德的威廉关于命题及其部分。 462-464年 博列斯瓦·索博辛斯基 :
命题演算领域中关于有限替换规则的一个定理。 一、。 465-476 伊沃·托马斯 :
关于梅雷迪斯唯一的肯定公理。 477 V.弗雷德里克·里基 :
单变量关联演算。 478-480 约翰·莱克 :
新基础中的有序对和基数。 481-484 T.C.Wesselkamper公司 :
关于n值逻辑中UDE的注释。 485-486 安德烈斯·拉乔 :
Herbrand定理的简单证明。 487-488 霍华德·伯迪克 :
论逻辑表达式的句法特征。 489-490 艾伦·C·王尔德 :
分配律和结合律的推广。 491-493 罗伯特·穆伦吉 :
关于经典模态逻辑的非停顿。 494年至496年
第15卷第4期,1974年10月
博列斯瓦·索博辛斯基 :
命题演算领域中关于有限替换规则的一个定理。 二、。 589-597 牛顿·C·A·达·科斯塔 :
关于不一致形式系统理论。 497-510 查尔斯·弗朗西斯·奎因 :
对建设性分类概念的分析。 511-551 尼诺·B·柯奇亚雷拉 :
现实主义本体论的弗雷琴语义学。 552-568 迈克尔·B·史密斯 :
作为命题计算基础的对合。 569-588 R.L.古德斯坦 :
更大领域中的可满足性。 598-600 约翰·格兰特 :
模型不完整。 601-607 彼得·斯威加特 :
正式语言中的自引用。 608-612 乔治·恩格布雷特森 :
关于矛盾的注释。 613-614 夸梅·奎奎 :
亚里士多德和现代谓词概念。 615-618 威廉·查宾 :
集值集理论。 一、。 619-634 詹姆斯·安德鲁·富尔顿 :
一元谓词。 635-638 艾伦·C·王尔德 :
替换属性。 639-640 Jean-Claude沃尔戈 :
描述理论:对拉塞尔方法的批判防御。 641-647 Aleksandar Kron公司 :
勘误表:“E上的注释”。 648 多尔夫·乌尔里奇 :
勘误表:“关于句子演算的有限模型的一些结果”。 648 尼古拉斯·德利洛 :
勘误表:“序数的形式特征”。 648 拥抱勒布朗 , D.保罗·斯奈德 :
勘误表:“Smullyan树的二元结构”。 648 博列斯瓦·索博辛斯基 :
勘误表:“模态系统S3和S4.02和S4.04的适当公理”。 648 Rangaswamy V.Setlur公司 :
勘误表:“关于二值命题演算中规则方案的二值中规则方案的强有效性和弱有效性的等价性”。 648 约翰·史蒂文森 :
勘误表:“Donnelly on Geach”。 648 阿尔贝托·M·杜 :
勘误表:“萨切里几何的逻辑和历史评论”。 648