汉斯·范·迪特马什;罗希特·帕里赫;拉马努贾姆，R。 印度逻辑——编辑导言。 （英语） Zbl 1235.01002号 J.菲洛斯。日志。 40，第5期，557-561（2011）. MSC公司： 01年3月32日 印度数学史 01年6月 20世纪数学史 03-03 数理逻辑和基础的历史 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人，J.Philos。日志。40，第5号，557--561（2011；Zbl 1235.01002） 全文： 内政部 参考文献： [1] Banerjee，M.和；Seth，A.（编辑）（2011年）。逻辑及其应用——第四届印度会议，ICLA 2011。会议记录（第6521卷）。LNCS：施普林格。 [2] Banerjee，M.和；Chakraborty，M.K.（1996年）。通过代数逻辑实现粗糙集。基础信息学，28（3-4），211-221·Zbl 0864.03041号 [3] 博琴斯基，I.M.（1955年）。形式化逻辑。慕尼黑：K.A.Verlag [4] Chakraborty，M.K.（1995年）。分级结果：进一步研究。应用非经典逻辑杂志，5（2），127-137·Zbl 0839.03010号 ·doi:10.1080/1663081.1995.10510857 [5] Chakraborty，M.K.和；Chatterjee，A.（1996年）。用模糊概念表示不确定恒等式。应用非经典逻辑杂志，6（2）·Zbl 0864.04002号 [6] 加德纳·P·；Yoshida，N.（编辑）（2004年）。第十五届并行理论国际会议（CONCUR）（第3170卷）。LNCS：施普林格·Zbl 1058.68006号 [7] Lodaya，K.，&；Pandya，P.K.（2006）。谨慎的定时逻辑。在E.Asarin中；P.Bouyer（编辑），格式。计算机科学课堂讲稿（第4202卷，第260-273页）。斯普林格·Zbl 1141.03310号 [8] Lodaya，K.、Parikh，R.、Ramanujam，R.和；Thiagarajan，P.S.（1995年）。分布式转换系统的逻辑研究。信息与计算，119（1），91–118·Zbl 0832.68075号 ·doi:10.1006/inco.1995.1078 [9] Rasiowa，H.和；Sikorski，R.（1970）。元数学的数学。华沙：波兰科学出版社·Zbl 0122.24311号 [10] Seth，A.（1992年）。类型的可行泛函不存在递归公理化。在LICS中（第286-295页）。IEEE计算机学会。 [11] Shukla，A.（1967年）。关于某些模态系统公理化的注记。《圣母院形式逻辑杂志》，8（1-2），118-120·Zbl 0183.00801号 ·doi:10.1305/ndjfl/1093956249 [12] Shukla，A.（1972年）。模态逻辑的存在假设和非正则系统。《圣母院形式逻辑杂志》，13（3），369-378·Zbl 0212.01402号 ·doi:10.1305/ndjfl/1093890624 [13] Zilberman，D.B.（2006年）。印度逻辑史。R.S.Cohen，&；H.Gourko（编辑），《印度和西方哲学思想中的类比》。波士顿科学哲学研究（第243卷，第110-120页）。施普林格 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。