《逻辑研究》第95卷
第95卷,编号1-2,2010年7月
迪德里克·阿尔茨 , 索尼娅·斯梅茨 , 让·保罗·范·本德根 :
逻辑对物理学基础的贡献:前言。 1-3 雅罗斯瓦夫·皮卡茨 :
量子逻辑两种方法的统一:每个Birkhoff-von Neumann量子逻辑都是部分无限值的ukasiewicz逻辑。 5-20 克里斯蒂娜·穆鲁泽克·纳西涅夫斯卡 :
模正交格的P相容恒等式定义的簇。 21-35 托马什·科瓦尔斯基 , 弗朗西斯科·保利 , 罗伯托·朱蒂尼 , 安东尼奥·莱达 :
$${\sqrt{\prime}}$$拟MV代数的子变种格。 37-61 赫克托·弗雷茨 :
量子计算结构:平方根qMV-代数的范畴等价。 63-80 约翰·科贝特 , T.杜尔特 :
单电子干涉的直观模型。 81-100 斯蒂芬·弗兰彻 , 德西奥·克劳斯 :
关于准集理论的评论。 第101页至第124页 亚历山德拉·帕尔米吉亚诺 , R.回复 :
拓扑群像量子故事。 125-137 罗伯特·特吕普兹 :
Kiczuk物理变化逻辑的完整性证明。 139-159 Gergely Székely公司 :
双胞胎悖论及其变体的几何特征。 161-182 迈克尔·阿什克罗夫特 :
科学是否影响了我们应该使用的逻辑:对量子逻辑争论的反思。 183-206 尼尔·坦南特 :
科学解释和预测的逻辑结构:太阳引力场中的行星轨道。 207-232 保罗·温加特纳 :
应用于经验科学的替代命题演算。 233-257 托马斯·杜尔特 :
用生物系统测试环境诱导(EIN)经典选择规则出现的实验建议。 259-277 埃德温·贝格斯 , 何塞·费利克斯·科斯塔 , 约翰·V·塔克 :
物理预言:图灵机器和惠斯通桥。 279-300
第95卷第3期,2010年8月
胡安·克莱门特·维达尔 , Juan Soliveres Tur公司 :
制度概念的两类概括。 301-344年 米克洛斯·费伦齐 :
一阶代数化非标准随机数。 345-354 Katalin Bimbó :
经典逻辑的Schönfinkel型算子。 355-378 M.L.J.范德维尔 :
独立性理论。 379-405 亚当·科拉尼 :
减少一般可满足性问题的反向解决。 407-416 塔玛尔·艾齐科维茨 , 尼西姆·弗朗西兹 , 丹尼尔·根金 , 迈克尔·卡明斯基 :
用下限扩展自由预群。 417-441 西尔维奥·吉拉尔迪 :
书评。 443-448