《逻辑研究》——国际符号逻辑杂志,第103卷
第103卷第1期,2015年2月
Vera Koponen公司 , 塔帕尼·海蒂宁 :
关于能表示对称性或连通性的逻辑的紧性。 1-20 Josep Maria字体 , 托马索·莫拉希尼 :
M-集与表示问题。 21-51 塞缪尔·亚历山大 :
快速崩溃理论。 53-73 T.S.布莱斯 , 解放 , 王磊(Lei-Bo Wang) :
带拟Stone算子的De Morgan代数。 75-90 谢尔盖·奥丁佐夫 , 海因里希·瓦辛 :
广义真值逻辑和双值逻辑。 91-112 Joongol Kim公司 :
算术的逻辑基础。 113-144 安吉丽娜·伊里克·斯泰皮奇(Angelina Ilic-Stepic) , 佐兰·奥格尼亚诺维奇 :
用p-adic数编码的信息推理思维过程的逻辑。 145-174 大卫·R·吉尔伯特 , 保罗·马菲齐奥利 :
经典模态逻辑的模块序贯演算。 175-217 菲利普·克莱默 :
产品空间S4⨁S4的不完整性。 219-226 尼娜·吉拉西姆祖克 :
书评:尼尔·坦南特,《思想的转变:理性信念修正论文》。 227-231 大卫·梅金森 :
书评:尼古拉斯·J·J·史密斯,《逻辑:真理定律》。 233-237
第103卷第2期,2015年4月
罗汉法语 :
S4的语气:弱背景逻辑中虚拟语气语言的表达能力。 239-263 美国宣教士杨威廉 :
从内代数到酉У-群:模态剩余格的统一处理。 265-286 马雷克·诺瓦克 :
应用Galois连接证明Tarski不动点定理。 287-301 胡安·曼努埃尔·科内霍 , 伊格纳西奥·维格利佐 :
关于一些半直觉主义逻辑。 303-344 佛朗科·蒙塔格纳 , 萨拉·乌戈里尼 :
乘积代数的范畴等价。 345-373 中泽浩二 , Hiroto Naya先生 :
组合微积分与流的强约简。 375-387 罗伯特·特吕普兹 , 彼得·库利基 :
杰日·卡林诺夫斯基规范句逻辑再探。 389-412 布拉尼斯拉夫·博里西奇 , 米尔贾纳·伊利奇 :
经典逻辑隐含片段的另一种规范化。 413-446 阿德里安·雷祖斯 :
书评:R.J.G.B.de Queiroz,A.G.de Oliveira,D.M.Gabbay,《逻辑演绎的功能解释》。 447-451
第103卷,第3期,2015年6月
萨博尔斯·米库拉斯 :
下半格序剩余半群和子结构逻辑。 453-478 贾尼斯·西鲁利斯 :
关于几类交换弱BCK-代数。 479-490 T.S.布莱思 , 解放 , 王磊(Lei-Bo Wang) :
关于分配半p代数的理想和同余。 491-506 斯特芬·莱维茨卡 :
模态系统S3-S5的指称语义通过命题量词和恒等式公理扩展。 507-544 斯特凡·温斯坦 , 莱因哈德·马斯肯斯 :
从双面真理到双面证据。 545-558 蔡明忠 :
不可验证和证明不可验证。 559-578 费德里科·马蒂亚斯·佩洛斯 , 卢卡斯·罗森布拉特 :
非确定性条件和透明真理。 579-598 埃多尔多·里韦洛 :
协变不变序列和修正。 599-622 维克托·克里夫佐夫 :
一阶谓词逻辑的语义完备性与弱范定理。 623-638 塞尔吉奥·塞拉尼 , 丹妮拉·蒙坦吉 :
带模态算子的希尔伯特代数。 639-662 萨姆·巴斯 :
书评:Matthias Baaz和Alexander Leitsch,《切割消除方法》。 663-667
第103卷第4期,2015年8月
Ryo Takemura先生 :
欧拉图的反例构造。 669-696 马西米利亚诺·卡拉拉 , 恩里科·马蒂诺 :
基于多重参考的磁行为学基础。 697-711 王雪萍 , 王磊(Lei-Bo Wang) :
Ockham代数子类上的同余与核理想。 713-731 塞尔吉奥·塞拉尼 :
单调邻域模型中饱和的性质及其应用。 733-755 尼诺·B·柯奇亚雷拉 :
复数逻辑的两种观点和从一个到另一个的还原。 757-780 乔特·伯格菲尔德 , 岸田小平 , 约书亚·萨克 , 沈阳钟 :
量子作用逻辑的二重性。 781-805 爱德华多·杜布克 , 尤里·波维达 :
关于MV-A代数与强单位l-群的等价性。 807-814 彼得·辛图拉 , 卡尔斯·诺格拉 :
关于抽象代数逻辑中自然扩张的注记。 815-823 迈克尔·德 , 大森仁 :
Belnap-Dunn逻辑的经典否定与扩展。 825-851 胡安·曼努埃尔·科内霍 :
半Heyting-Brower逻辑。 853-875 卢西亚娜·贝诺蒂 :
书评:乔纳森·金兹伯格,《互动姿态:对话中的意义》。 877-882
第103卷第5期,2015年10月
Hitoshi Omori先生 , 胜彦三野 :
Belnap-Dunn逻辑中泛化函数完备性。 883-917 彼得·维尔德 , 英格·德巴尔 :
经典关联的新方法。 919-954 迈克尔·希佩斯 :
走向贝叶斯连贯语法。 955-984 阿尔伯特·J·安格伯格 , 乔纳森·卢基奇 :
基于矩阵的逻辑RMQ和RMQ*的Hilbert-Style公理系统。 985-1003 大卫·迈克尔·罗伯茨 :
弱选择原则WISC可能在集合类别中失败。 1005-1017 斯文·奥夫·汉森 :
年度股东大会修订版的选择性介绍。 1019-1033 纪尧姆拍卖行 :
复杂公理作为交互公理。 1035-1062 斯坦尼斯拉夫·基科特 :
一些基本生成模态逻辑的二分法。 1063-1093 托马斯·N·P·A·布鲁 , 卡斯珀·斯托姆·汉森 :
书评:亚历克斯·奥利弗和蒂莫西·斯迈利,《多元逻辑》。 1095-1100
第103卷第6期,2015年12月
安娜·格伦什奇克 :
直觉控制逻辑的否定片段。 1101-1121 张燕(音译) , 李凯(Kai Li) :
基于不确定度量时态逻辑的逻辑的可判定性。 1123-1162 马泰奥·比安奇 , 佛朗科·蒙塔格纳 :
Trakhtenbrot定理和MTL的一阶公理扩张。 1163-1181 马泰奥·比安奇 , 佛朗科·蒙塔格纳 :
勘误表:Trakhtenbrot定理和MTL的一阶公理扩展。 1183 罗格·库珀 :
梅德韦杰夫格中的一阶逻辑。 1185-1224 藤田健 , 鹿岛良 , 小森裕一 , 松田直介 :
直觉λρ-演算的约简规则。 1225-1244 希蒙·克莱博夫斯基 , 多罗塔·莱斯琴斯卡·贾西翁 :
双重性侵演算与最小LFI。 1245-1278 埃多尔多·里韦洛 :
修订序列中的周期性和自反性。 1279-1302 费尔南多·费雷拉 , 吉尔达·费雷拉 :
脂肪的忠实性:理论证明。 1303-1311 乌尔里希·科伦巴赫 :
关于选言马尔可夫原理。 1313-1317 阿德里安·雷祖斯 :
书评:Henk Barendregt,Will Dekkers,Richard Statman等人,Lambda Calculus With Types。 1319-1326
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)