数学逻辑报告,第45卷
2010年第45卷
Norihiro Kamide公司 :
自动化和计算亚一致推理:无收缩、解析和类型系统。 3-21 Szymon Frankowski公司 :
关于p-后果格。 23-35 胡安·克莱门特·维达尔 , Juan Soliveres Tur公司 :
多分类等式逻辑的句法和语义的双范畴框架。 37-95 杰玛·罗伯斯 :
没有K公理的极小非相关逻辑Ⅱ。 通过一元连接词引入否定。 97-118 亚历山大·A·M·罗德里格斯 , 里卡多·C·米兰达·菲略 , Edelcio G.de Souza公司 :
无限语言中的可定义性和自同构的不变性。 119-133 西尼萨·克文科维奇 , 梅拉尼亚·米特罗维奇 , 丹尼尔·亚伯拉罕·罗曼诺 :
拟反序的互补对。 135-142 谢爱妮 :
一些局部表格逻辑与收缩和混合。 143-159 弗朗西斯科·保利 , 托马斯·科瓦尔斯基 :
关于拟MV-代数和平方根拟MV代数的一些性质。 第三部分。 161-199 何塞·L·卡斯蒂格里奥尼 , 玛尔塔·萨加图姆 , 埃尔南·哈维尔·圣马汀 :
关于前Heyting代数。 201-224 何塞·L·卡斯蒂格里奥尼 , 埃尔南·哈维尔·圣马汀 :
关于所有有限链生成的具有后继的Heyting代数的多样性。 225-248 -
极化。 249-259