×

第十四届拉丁美洲数学逻辑研讨会(SLALM),由符号逻辑协会联合主办,巴西帕拉蒂,2008年5月11日至17日。 (英语) Zbl 1170.03306号

教程摘要、邀请和贡献的演讲。

MSC公司:

03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
00亿05 讲座摘要集
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 内政部:10.1305/ndjfl/1040067312·兹比尔0859.03011 ·doi:10.1305/ndjfl/1040067312
[2] 数学逻辑报告42第169页–(2007)
[3] 现代逻辑3第272页–(1996)
[4] DOI:10.1007/3-7643-7304-0_10·doi:10.1007/3-7643-7304-0_10
[5] DOI:10.1093/jigpal/12.6.509·Zbl 1082.03053号 ·doi:10.1093/jigpal/12.6.509
[6] 中欧数学杂志6 pp 372–(2008)·Zbl 1155.06009号 ·doi:10.2478/s11533-008-0035-7
[7] IGPL 6逻辑杂志第499页–(2004)
[8] Essais sur les logiques non-chrysippiennes(1972年)·Zbl 0241.0206号
[9] DOI:10.1016/0012-365X(80)90112-0·Zbl 0453.06011号 ·doi:10.1016/0012-365X(80)90112-0
[10] Łukasiewicz-Moisil代数(1991)
[11] 阿根廷圣胡安国立大学巴西卡学院预印本2第19页–(1997)
[12] Studia Logica 62第1页–(1998年)
[13] 非经典逻辑中的代数和拓扑方法II(2005)
[14] 内政部:10.1016/0004-3702(86)90032-9·doi:10.1016/0004-3702(86)90032-9
[15] DOI:10.1002/malq.19920380144·Zbl 0794.03025号 ·doi:10.1002/malq.19920380144
[16] 走向非存在(2005年)
[17] 逻辑、语义、元数学(1956)
[18] 逻辑结果的概念(1990)·Zbl 0743.0302号
[19] 数理逻辑报告第3页–(1990)
[20] 内政部:10.1007/s00012-004-1872-2·Zbl 1093.03037号 ·doi:10.1007/s00012-004-1872-2
[21] 数字对象标识码:10.1007/s11787-007-0020-0·Zbl 1144.03017号 ·doi:10.1007/s11787-007-0020-0
[22] 模态逻辑(1989)·Zbl 0764.03003号
[23] Mind 76 pp 346–(1967)
[24] 内政部:10.1305/ndjfl/1093891487·兹比尔0236.02022 ·doi:10.1305/ndjfl/1093891487
[25] 静冈大学科学院报告12 pp 1–(1978)
[26] 哲学逻辑手册14第15页–(2007)
[27] DOI:10.1023/B:螺柱0000037125.49866.50·Zbl 1062.03062号 ·doi:10.1023/B:STUD.0000037125.49866.50
[28] DOI:10.1007/s11787-006-0012-5·Zbl 1116.03019号 ·doi:10.1007/s11787-006-0012-5
[29] 内政部:10.1093/jigpal/11.1.69·兹伯利1016.03024 ·doi:10.1093/jigpal/11.1.69
[30] 内政部:10.1016/j.aim.2004.10.001·Zbl 1082.55007号 ·doi:10.1016/j.aim.2004.10.001
[31] 纯粹与应用逻辑兴趣小组杂志,15页,707页–(2007年)
[32] 内政部:10.1016/0004-3702(94)00041-X·Zbl 1013.68556号 ·doi:10.1016/0004-3702(94)00041-X
[33] 准一致性手册第321页–(2007年)
[34] Monografias em Ciéncia da Computaçio 2007年7月25日(2007年)
[35] 本地可呈现和可访问类别(1994年)·Zbl 0795.18007号
[36] DOI:10.1016/S0168-0072(00)00046-4·Zbl 0983.03007号 ·doi:10.1016/S0168-0072(00)00046-4
[37] 模型、代数和证明203 pp 435–(1999)
[38] UNILOG'07(2007)
[39] 逻辑分析与综合35(2008)
[40] 斯坦福大学哲学百科全书(2007)
[41] 描述逻辑国际研讨会论文集第33页–(1999)
[42] 应用非经典逻辑杂志
[43] 作为探究的探究:科学发现的逻辑(1999)·Zbl 0947.03003号
[44] 哲学逻辑手册第15页–(2007)
[45] 逻辑与分析173–174–175第113页–(2001年)
[46] XX国际多值逻辑大会论文集第328页–(1990)
[47] 《非经典逻辑杂志》6第19页–(1989)
[48] 多值逻辑(1969)·Zbl 0248.02023号
[49] DOI:10.1023/A:102512348085·Zbl 1027.03025号 ·doi:10.1023/A:1025123418085
[50] DOI:10.1023/A:1012264614940·Zbl 1002.03012号 ·doi:10.1023/A:1012264614940
[51] 符号逻辑杂志66页1620–·Zbl 0994.03024号 ·doi:10.2307/2694965
[52] 内政部:10.1093/jigpal/jzm054·Zbl 1157.03039号 ·doi:10.1093/jigpal/jzm054
[53] 内政部:10.3166/1月15日-69-103·Zbl 1185.03045号 ·doi:10.3166/1月15日-69-103
[54] Monatsheft für Mathematik und Physik 38第173页–(1931)
[55] 美国数学学会通告36 pp 388–(1989)
[56] 第一届世界大会和学校通用逻辑手册1第21页–(2005年)
[57] Rossiĭskaya Akademiya Nauk。MatematicheskiĭSbornik 12 pp 277–(1943)
[58] 内政部:10.1090/S0002-9904-1945-08454-7·Zbl 0063.01270号 ·doi:10.1090/S0002-9904-1945-08454-7
[59] 符号逻辑公报12 pp 509–(2006)
[60] 内政部:10.2307/2695100·Zbl 1025.03051号 ·doi:10.2307/2695100
[61] 第二十二届多值逻辑国际研讨会论文集第190页–(1992)
[62] 多值逻辑和软计算13 pp 335–(2007)
[63] 哲学逻辑手册第15页–(2007)
[64] 关于后续系统规范3835 pp 352–(2005)·Zbl 1143.03348号
[65] Tableaux 2002 2381(2002)会议记录
[66] CLE电子版7(2007)
[67] 副一致性——不一致性的逻辑方法第1页——(2002)
[68] 智利Matematica协会X第143页–(1991)
[69] 数字对象标识码:10.1007/s11225-006-9003-z·Zbl 1115.03094号 ·doi:10.1007/s11225-006-9003-z
[70] 内政部:10.2478/s11533-006-0025-6·Zbl 1114.06010号 ·doi:10.2478/s11533-006-0025-6
[71] 模态逻辑导论(1977)
[72] 模式和多式联运(2008年)
[73] 哲学逻辑手册14第1页–(2007)
[74] 超一致性逻辑的前沿:第一届世界超一致性大会论文集第149页–(2000)
[75] 内政部:10.1016/0004-3702(94)00041-X·Zbl 1013.68556号 ·doi:10.1016/0004-3702(94)00041-X
[76] 圣胡安国立大学巴西卡学院预印本2第23页–(1997)
[77] 哲学观点17 pp 415–(2004)
[78] 绝对通用性(2006)
[79] 斯坦福大学哲学百科全书(2004)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。