德奥塔维亚诺,伊塔拉·玛丽亚·洛夫雷多(编辑) 第十四届拉丁美洲数学逻辑研讨会(SLALM),由符号逻辑协会联合主办,巴西帕拉蒂,2008年5月11日至17日。 (英语) Zbl 1170.03306号 牛市。符号。日志。 15,第3期,332-376(2009). 教程摘要、邀请和贡献的演讲。 引用于1审查 MSC公司: 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 00亿05 讲座摘要集 PDF格式BibTeX公司 XML格式引用 \textit{I.M.L.D'Ottaviano}(编辑),公牛。符号。日志。15,第3号,332--376(2009;Zbl 1170.03306) 全文: 内政部 参考文献: [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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。