×
沃尔夫拉姆·波勒（编辑）

2004年7月23日至31日，意大利都灵，符号逻辑协会夏季会议。 （英语） Zbl 1080.03502号

牛市。符号。日志。 11，第2期，249-312（2005）.
论文摘要。

MSC公司：

03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
00亿05 讲座摘要集

软件：

ETPS公司
PDF格式BibTeX公司 XML格式引用
\textit{W.Pohlers}（编辑），公牛。符号。日志。11，第2号，249--312（2005；Zbl 1080.03502）
全文： 内政部

参考文献：

[1] 代数系统（1973）
[2] 数学演示XX第215页–（1987）
[3] 内政部：10.1007/PL00000358·Zbl 1064.08007号 ·doi:10.1007/PL00000358
[4] 相关逻辑及其竞争对手1（1982）
[5] 收录2（1992）
[6] 内政部：10.1093/qmath/39.4.483·兹伯利0667.03027 ·doi:10.1093/qmath/39.4.483
[7] 内政部：10.2178/jsl/1058448441·Zbl 1056.03027号 ·doi:10.2178/jsl/1058448441
[8] 内政部：10.2307/2695066·Zbl 0974.03041号 ·doi:10.2307/2695066
[9] 内政部：10.2307/2274822·Zbl 0702.03026号 ·doi:10.2307/2274822
[10] 内政部：10.2307/2270692·Zbl 0222.02048号 ·doi:10.2307/270692
[11] 精密科学史档案
[12] 逻辑及其在代数和几何中的应用（2004）
[13] 美国数学学会会刊
[14] 美国数学学会会刊
[15] 哥德尔’96（布尔诺，1996）第139页–（1996）
[16] 有限表示Heyting代数的层表示和对偶，符号逻辑杂志60页，911–（1995）·兹比尔0837.03047
[17] 内政部：10.2307/2586539·Zbl 0982.03011号 ·doi:10.2307/2586539
[18] 软计算（2004）·Zbl 1054.68152号
[19] 内政部：10.1007/s00012-003-1848-7·Zbl 1081.06008号 ·doi:10.1007/s00012-003-1848-7
[20] 多值逻辑与软计算杂志
[21] 离散数学·Zbl 0805.05002号
[22] 伦敦数学学会（1998）
[23] 内政部：10.1016/0168-0072（89）90061-4·Zbl 0704.03017号 ·doi:10.1016/0168-0072（89）90061-4
[24] 塞斯（1991）
[25] 内政部：10.2307/2271951·Zbl 0396.03031号 ·doi:10.2307/2271951
[26] 内政部：10.2307/2586696·兹伯利0968.03058 ·doi:10.2307/2586696
[27] 美国数学学会会刊108（1990）
[28] 数学基础177（2003）
[29] 内政部：10.1090/S0002-9947-00-02672-6·Zbl 0960.03027号 ·doi:10.1090/S0002-9947-00-02672-6
[30] 内政部：10.2307/2274139·Zbl 0575.03015号 ·doi:10.2307/2274139
[31] 第33届多值逻辑国际研讨会。2003年5月，日本东京。会议记录第175页–（2003）
[32] 计算机科学逻辑。CSL’95年论文选集第1页–（1996）
[33] DOI:10.1007/BF01201998·Zbl 0766.68037号 ·doi:10.1007/BF01201998
[34] 数字对象标识码：10.1007/s0015300504·Zbl 0941.03040号 ·数字标识代码：10.1007/s0015300504
[35] 第七届终止问题国际研讨会（2004年）
[36] DOI:10.1016/S0019-9958（65）90241-X·Zbl 0139.24606号 ·doi:10.1016/S0019-9958（65）90241-X
[37] 《欧洲运筹学杂志》40页389页–（1989）·Zbl 0666.90034号 ·doi:10.1057/jors.1989.57
[38] 远东数学科学杂志4，第283页–（2002）
[39] 内政部：10.1007/BF02679765·Zbl 0924.06009 ·doi:10.1007/BF02679765
[40] 1995年11月逻辑学术讨论会，第275页–（1998年）
[41] 模型理论（1973）
[42] 内政部：10.1007/BF01278464·Zbl 0819.03047号 ·doi:10.1007/BF01278464
[43] DOI:10.1002/malq.200410001·Zbl 1053.03008号 ·doi:10.1002/每周200410001
[44] 内政部：10.2307/2272159·Zbl 0314.02045号 ·doi:10.2307/2272159
[45] DOI:10.1007/BF02219296·Zbl 0288.02022号 ·doi:10.1007/BF02219296
[46] 逻辑、方法论和科学哲学VII第17页–（1986）
[47] 第九届LMPS大会摘要1第31页–（1991）
[48] 内政部：10.2307/2025976·doi:10.2307/2025976
[49] 国际代数与计算杂志
[50] DOI:10.1016/S0165-0114（97）00100-0·doi:10.1016/S0165-0114（97）00100-0
[51] 2003年逻辑学术讨论会第126页——
[52] DOI:10.1016/S0165-0114（01）00069-0·Zbl 1006.62053号 ·doi:10.1016/S0165-0114（01）00069-0
[53] 域理论及其附近735第1页–（1993）
[54] 模糊回归分析（1992）
[55] 代数与逻辑42 pp 65–（2003）
[56] 第二届斯堪的纳维亚逻辑研讨会论文集第235页–（1971）·Zbl 0219.02001号
[57] DOI:10.1016/S0168-0072（99）00049-4·Zbl 0963.03044号 ·doi:10.1016/S0168-0072（99）00049-4
[58] 自然演绎——实证理论研究（1965年）·Zbl 0173.00205号
[59] 代数与逻辑16 pp 643–（1977）
[60] DOI:10.1007/BF01201363·Zbl 0010.14601号 ·doi:10.1007/BF01201363
[61] DOI:10.1016/S0168-0072（01）00024-0·Zbl 0985.0304号 ·doi:10.1016/S0168-0072（01）00024-0
[62] RIMS-Kokyuroku 1301第39页–（2003）
[63] 证明理论（1977）
[64] 逻辑部分公报33第53页–（2004）
[65] 信息与控制8第338页–（1976年）
[66] DOI:10.1016/0165-0114（95）00383-5·doi:10.1016/0165-0114（95）00383-5
[67] LTCS报告00-03（2000）
[68] 理论和实践中的过程能力指数（1998）
[69] DOI:10.1023/A:1004275029985·Zbl 0919.03013号 ·doi:10.1023/A:1004275029985
[70] 过程能力指数（1993）·Zbl 0860.62075号
[71] 代数与逻辑
[72] 《质量技术杂志》18页第41页–（1986年）
[73] 可定义性和可计算性（1996）
[74] 内政部：10.1016/0004-3702（80）90014-4·Zbl 0435.68069号 ·doi:10.1016/0004-3702（80）90014-4
[75] DOI:10.1007/BF01236518·Zbl 0799.08010号 ·doi:10.1007/BF01236518
[76] 部分信息的逻辑（1995）
[77] 数学课堂讲稿554（1976）
[78] 内政部：10.1142/S0218196702001085·Zbl 1046.08006号 ·doi:10.1142/S0218196702001085
[79] 圣母大学数学讲座5（1947）
[80] 美国数学学会会刊（2004）
[81] DOI:10.1007/BF00122259·Zbl 0856.18004号 ·doi:10.1007/BF00122259
[82] 内政部：10.1017/S1446788700035436·网址：10.1017/S1446788700035436
[83] 《哲学逻辑杂志》第8页第502页–（1979年）
[84] 代数普遍性
[85] 近环（1983）
[86] 内政部：10.2307/2586560·Zbl 0971.03025号 ·doi:10.2307/2586560
[87] 近环及其与群的联系（1985）·Zbl 0658.16029号
[88] 代数，格，变种，第一卷（1987）
[89] 内政部：10.1090/S0002-9947-1979-0542881-0·doi:10.1090/S0002-9947-1979-0542881-0
[90] DOI:10.1017/144678870003456x·网址：10.1017/S144678870003456X
[91] Monatsheft毛皮Mathematik
[92] 代数集刊
[93] L.E.J.Brouwer百年纪念研讨会第1页–（1982）
[94] 内政部：10.1142/S0218196703001547·Zbl 1053.06005号 ·doi:10.1142/S0218196703001547
[95] 77年逻辑学术讨论会，第55页–（1978）
[96] 代数杂志·Zbl 0129.24504号
[97] 从历史角度看推理的机械化（1995年）·Zbl 0821.01001号
[98] 关于实指数场的可判定性pp 441–（1996）
[99] Mariae Curie Sklodowska分析大学人工智能信息学II
[100] DOI:10.1016/j.apal.2003.08.001·Zbl 1046.03021号 ·doi:10.1016/j.apal.2003.08.001
[101] 电话：10.1007/978-1-4613-9435-8_7·doi:10.1007/978-14613-9435-87
[102] 内政部：10.1305/ndjfl/1039293019·Zbl 0967.03005号 ·doi:10.1305/ndjfl/1039293019
[103] CSLI课堂笔记28（1992）
[104] 人造物的发现。控制论之前和之后的行为、思维和机器（2002）
[105] 并发和同步逻辑第1页–（2003年）
[106] 载具：合成心理学实验（1984）
[107] 内政部：10.1007/978-1-4613-0609-2_9·doi:10.1007/978-1-4613-0609-29
[108] 内政部：10.3792/pja/1195519184·Zbl 0299.02026 ·doi:10.3792/pja/1195519184
[109] 内政部：10.1007/BF00370118·Zbl 0765.03004号 ·doi:10.1007/BF00370118
[110] Cahiers de Topologie et Géométrie Différentiele Cate goriques 16第256页–（1976）
[111] 交换环理论与应用131 pp 477–（2002）
[112] 逻辑与数学基础研究136（1997）
[113] 第三届国际代数大会论文集第199页-（1996）
[114] 符号逻辑杂志37（1972）
[115] 内政部：10.1007/BF02483730·Zbl 0511.03014号 ·doi:10.1007/BF02483730
[116] 内政部：10.1016/0168-0072（94）00038-5·Zbl 0821.68082号 ·doi:10.1016/0168-0072（94）00038-5
[117] 《哲学逻辑学杂志》16页65页–（1987）
[118] 数理逻辑学报
[119] 牵连。关联与必然的逻辑1（1975）·Zbl 0323.02030号
[120] 数学基础1第105页–（1920）
[121] 求解多准则问题的交互式线性规划方法pp 74–（1975）
[122] 内政部：10.1016/0165-0114（78）90031-3·Zbl 0364.90065号 ·doi:10.1016/0165-0114（78）90031-3
[123] 多准则优化：理论、计算和应用（1986）
[124] 模糊集与交互式多目标优化·Zbl 0842.90070号
[125] 第五届IFSA世界大会第641页–（1993）
[126] 内政部：10.1093/philmat/9.1.37·doi:10.1093/philmat/9.1.37
[127] 《哲学逻辑杂志》19页343页–（1990）
[128] 希尔伯特计划（1986）
[129] 内政部：10.1090/S0002-9939-03-07086-2·Zbl 1041.03044号 ·doi:10.1090/S0002-9939-03-07086-2
[130] 内政部：10.2178/jsl/1045861503·Zbl 1041.03045号 ·doi:10.2178/jsl/1045861503
[131] 哈维·弗里德曼对数学基础的研究第87页–（1985）
[132] 数学逻辑手册第1133页–（1977）
[133] 《科学》，新系列218，第779页–（1982）
[134] 具体数学。计算机科学基础（1989）·Zbl 0668.00003号
[135] 内政部：10.2307/2694976·兹比尔0994.03049 ·doi:10.2307/2694976
[136] 模态逻辑进展4 pp 475–（2003）
[137] 内政部：10.1016/0168-0072（84）90014-9·Zbl 0593.16019号 ·doi:10.1016/0168-0072（84）90014-9
[138] 美国数学学会会刊
[139] 代数i Logika 13 pp 311–（1974）
[140] Real Analysis Exchange 21第715页–（1995）
[141] Real Analysis Exchange 28第1页–（2003年）
[142] 满意度测试理论与应用2003 2919 pp 426–（2004）
[143] 技术报告CSR 7-2003（2003）
[144] DOI:10.1016/S0024-3795（99）00042-7·Zbl 0929.05056号 ·doi:10.1016/S0024-3795（99）00042-7
[145] 数字对象标识码：10.1002/j.1538-7305.1971.tb02618.x·兹比尔0228.94020 ·doi:10.1002/j.1538-7305.1971.tb02618.x
[146] SAT会议记录（2004）
[147] 《Ergebnisse der Mathematik und ihrer Grenzgebiete》42（1968）
[148] 内政部：10.4064/fm175-1-5·Zbl 1013.03047号 ·doi:10.4064/fm175-1-5
[149] 内政部：10.2307/2272827·Zbl 0397.03036号 ·doi:10.2307/2272827
[150] 北欧哲学逻辑杂志2第1页–（1997）
[151] 远东数学科学杂志5，第155页–（2002）
[152] DOI:10.1016/S0165-0114（98）00066-9·Zbl 0956.90068号 ·doi:10.1016/S0165-0114（98）00066-9
[153] DOI:10.1016/S0165-0114（96）00270-9·Zbl 0929.15004号 ·doi:10.1016/S0165-0114（96）00270-9
[154] DOI:10.1016/S0165-0114（96）00144-3·Zbl 0916.04004号 ·doi:10.1016/S0165-0114（96）00144-3
[155] DOI:10.1016/S0165-0114（96）00247-3·Zbl 0922.04008号 ·doi:10.1016/S0165-0114（96）00247-3
[156] 纯逻辑与应用逻辑年鉴
[157] 内政部：10.1016/0165-0114（91）90019-M·兹比尔07416.5023 ·doi:10.1016/0165-0114（91）90019-M
[158] 内政部：10.2307/2695108·Zbl 1025.03041号 ·doi:10.2307/2695108
[159] 内政部：10.2178/jsl/1080938834·Zbl 1070.03044号 ·doi:10.2178/jsl/1080938834
[160] 《不确定推理者的伴侣：数学透视》（1994）·Zbl 0838.68104号
[161] 符号逻辑公报
[162] 内政部：10.2307/2271951·Zbl 0396.03031号 ·doi:10.2307/2271951
[163] 内政部：10.1006/jabr.1997.7359·Zbl 0922.12006号 ·doi:10.1006/jabr.1997.7359
[164] 数字对象标识码：10.1002/malq.200310086·兹伯利1045.03036 ·doi:10.1002/malq.200310086
[165] 内政部：10.1007/978-94-017-2612-2_2·doi:10.1007/978-94-017-2612-22
[166] 内政部：10.1002/1521-3870（200111）47:4&lt；513:：AID-MALQ513&gt；3.0.CO；2-J型·Zbl 0992.03043号 ·doi:10.1002/1521-3870（200111）47:4<513:：AID-MALQ513>3.0.CO；2-J型
[167] 符号逻辑杂志
[168] 内政部：10.2307/2586837·Zbl 0911.03030号 ·doi:10.2307/2586837
[169] DOI:10.1016/S0304-3975（01）00015-9·Zbl 0983.68087号 ·doi:10.1016/S0304-3975（01）00015-9
[170] 证明理论第171页–（1992）
[171] 内政部：10.1016/0168-0072（94）00056-9·Zbl 0844.03031号 ·doi:10.1016/0168-0072（94）00056-9
[172] 内政部：10.2307/2586719·兹伯利0919.03043 ·doi:10.2307/2586719
[173] 美国数学学会会刊
[174] 内政部：10.1016/0168-0072（91）90068-W·Zbl 0721.03037号 ·doi:10.1016/0168-0072（91）90068-W
[175] DOI:10.1023/A:1005266731458·Zbl 0952.03070号 ·doi:10.1023/A:1005266731458
[176] 逻辑程序设计杂志（1994）
[177] 数学逻辑和类型理论导论：通过证明认识真理（1986）·Zbl 0617.03001号
[178] 内政部：10.1080/11663081.2000.10511004·Zbl 1040.03014号 ·doi:10.1080/1663081.2000.10511004
[179] 逻辑部分公报28第145页–（1999）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。