Studia Logica,第82卷
第82卷第1期,2006年2月
从编辑器。 3-5 马提亚斯·巴兹 , 罗莎莉·伊姆霍夫 :
存在谓词的Gentzen Calculi。 7-23 乌尔里希·伯杰 , 斯特凡·贝尔霍弗 , 皮埃尔·勒图泽 , 赫尔穆特·施维滕贝格 :
从规范化证明中提取程序。 25-49 凯·布伦勒 :
经典谓词逻辑深层推理系统中的割消。 51-71 亚历山德拉·卡蓬 :
集团取消和决议。 73-93 阿加塔·恰巴托尼 , Kazushige Terui公司 :
走向切割-消除的语义表征。 95-119 格里戈里造币厂 :
S4C的切割消除:案例研究。 121-132 乔治·莫瑟 , 理查德·扎克 :
Epsilon微积分和Herbrand复杂性。 133-155 安娜·扎曼斯基 , 阿诺·阿夫伦 :
典型系统中的切割-消除和量化。 157-176
第82卷第2期,2006年3月
Josep Maria字体 :
超越拉西奥瓦的非经典逻辑代数方法。 179-209 齐格弗里德·戈特瓦尔德 :
模糊集的宇宙和模糊集理论的公理化。 第一部分:基于模型和公理的方法。 211-244 安东尼奥·莱达 , 马丁瓦尔多·科尼格 , 弗朗西斯科·保利 , 罗伯托·朱蒂尼 :
MV-代数和量子计算。 245-270 拉里萨·马克西莫娃 :
非经典逻辑中的可定义性和插值。 271-291 斯文·奥夫·汉森 :
轻微收缩。 评估因失去信心而造成的信息损失。 293-295
第82卷第3期,2006年4月
文森特·亨德里克斯 , 斯蒂格·安杜尔·佩德森 :
世界之道I-II关于可能世界和相关概念的两个特别问题。 301-305 麦克斯韦尔·克雷斯韦尔 :
从情态语篇到可能世界。 307-327 斯文·奥维·汉森 :
理想世界——道德逻辑中的智慧思维。 329-336 戴尔·杰凯特 :
命题、集合和世界。 337-343 Ahti-Veikko Pietarinen公司 :
皮尔士对可能世界语义学的贡献。 345-369 阿奇尔·瓦尔齐(Achille C.Varzi) :
无重叠的严格同一性。 371-378 阿尔贝托·扎纳多 :
分支时间语义中可能世界集合的量化。 379-400
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)