Studia Logica,第65卷
第65卷第1期,2000年6月
Josep Maria字体 , 拉蒙·詹萨纳 , 唐·皮戈齐 :
前言。 1-9 罗玛·J·阿迪隆 , 文图拉·弗杜 :
论一种无收缩的直觉命题逻辑及其连接与融合。 11-30 弗朗西斯科·米盖尔·加西亚·奥尔梅多 , 安东尼奥·罗德里格斯·萨拉斯 :
BCK逻辑的线性化。 31-51 天使J.吉尔 , 乔迪·雷巴利亚托 :
原代数Gentzen系统和切割规则。 53-89 伊娃·胡格兰 :
各种Beth可定义性的代数特征。 91-112 芭芭拉·科隆 :
伪内代数的种类。 113-136 雷纳托·A·勒温 , 艾琳·米肯伯格 , 玛丽亚·施瓦兹 :
注释逻辑的代数和矩阵。 137-153
2000年7月第65卷第2期
维克托·克里夫佐夫 :
直觉主义理论的无否定解释,2。 155-179 曼努埃尔·阿巴德 , J.帕特里西奥·迪亚斯·瓦雷拉 , 劳拉·鲁埃达 , 安娜·玛丽亚·苏亚兹 :
带量词的三值Heyting代数的簇。 181-198 阿涅斯·库鲁茨 :
箭头逻辑和无限计数。 199-222 马塞洛·科尼格里奥 , 弗朗西斯科·米拉利亚 :
非交换拓扑和量子数。 223-236 下村达也 :
用非平凡簇框架的规范公式公理化的模态逻辑谓词扩张的Kripke不完全性。 237-247 弗兰克·沃尔特 :
一阶公共知识逻辑。 249-271
第65卷第3期,2000年8月
斯坦尼斯劳·巴尔塞齐克 , 维克托·巴托尔 , 埃瓦·奥洛夫斯卡 , 安德烈·维克佐雷克 , 阿格涅斯卡·沃伊切霍夫斯卡·瓦什基维奇 :
Jerzy Los 1920-1998年; 传记要素。 301-314 埃德温·D·马雷斯 :
RGL的不完整性。 315-322 斯特凡·德姆里 , Dov M.Gabbay公司 :
以具有相对可及关系的模型为特征的模态逻辑:第一部分。 323-353 弗朗西斯科·保利 :
MV-A代数和Abelian l-群的公共抽象。 355-366 马克斯·弗伦德 :
完整一致的排序形式系统。 367-381 加文·比尔曼 , 瓦莱丽亚·德佩瓦 :
直觉主义模态逻辑。 383-416 弗拉基米尔·里巴科夫 , 穆罕默德·特齐勒 , 乔伊格登·根瑟 :
关于自容许准特征化推理规则。 417-428