特卡奇克，马钦；托马斯·贾穆·埃克 JerzyŁos位置演算和时态逻辑的起源。 （英语） Zbl 1443.03010号 日志。日志。菲洛斯。 28，第2号，259-276（2019）. 本文致力于研究时间（时态）逻辑发明的优先权问题。作者声称波兰逻辑学家JerzyŁoś实际上是第一个发明这种逻辑的人。这一主张基于三个论据：（1）欧西于1947年发表了他的时间逻辑版本，并于1948年发表；（2）早在1951年，亨利克·希伊（Henryk Hi）就在《符号逻辑杂志》（Journal of Symbolic logic）上发表了对欧西论文的评论；（3）普赖尔（Prior）在构建他的时态演算时就意识到了欧西的系统。作者得出的结论是，尽管普赖尔肯定是时态逻辑和一般模态逻辑历史上的关键人物，但在文献中都应该接受时态逻辑是由杰日·奥斯发明的。在本文中，介绍了Łoshi的系统和Hiż的评论，并讨论了łosh对Prior的影响。审核人：罗曼·穆拉夫斯基（波兹南） 引用于2文件 MSC公司： 03B44号 时间逻辑 03-03 数学逻辑和基础的历史 01A60型 20世纪数学史 关键词：位置逻辑；实现运算符\（\mathcal｛R｝\）；时序逻辑 PDF格式BibTeX公司 XML格式引用 \textit{M.Tkaczyk}和\textit{T.Jarmużek}，Log。日志。菲洛斯。28，第2号，259--276（2019；Zbl 1443.03010） 全文： 内政部 参考文献： [1] Hiż，H.，1951年，“Rev.J.Ło si，Podstawy analyizy metodologicznej kanonów Milla”，《符号逻辑杂志》16:58-59。内政部： [2] Jarmużek，T.和A.Pietruszczak，2004，“最小位置演算的完备性”，《逻辑与逻辑哲学》13:147-162。内政部：·Zbl 1117.03328号 [3] Ło shi，J.，1947年，“Podstawy analizy metodologicznej kanonów Milla”，《安娜大学玛丽亚·居里分册F》，第二卷，5:269-301 [4] 《密尔方法论分析的基础》，M.Przeęcki和R.Wójcicki（编辑）第291-325页，《波兰逻辑方法论二十五年》，D.Reidel出版公司。英文版[Łosi，1947]·Zbl 0378.0202号 [5] Øhrström，P.和P.F.V.Hasle，1993，“A.N.Prior对时态逻辑的重新发现”，Erkentnis 39:23-50 [6] Øhrström，P.和P.F.V.Hasle，1995，《时间逻辑：从古代思想到人工智能》，多德雷赫特，克鲁沃学术出版社·Zbl 0855.03003号 [7] Øhrström，P.和P.F.V.Hasle，2006a，“A.N.Prior的逻辑”，D.m.Gabbay和J.Woods（编辑），《逻辑史手册》，第7卷，阿姆斯特丹，爱思唯尔·Zbl 1135.03301号 [8] Øhrström，P.和P.F.V.Hasle，2006b，“现代时间逻辑：哲学背景”，D.m.Gabbay和J.Woods（编辑），《逻辑史手册》，第7卷，阿姆斯特丹，爱思唯尔·Zbl 1135.03301号 [9] Prior，A.N.，1953年，“三值逻辑与未来偶然事件”，《哲学季刊》5:205-213 [10] 普赖尔，A.N.，1957年，《时间与形态》，牛津，牛津大学出版社·Zbl 0079.00606号 [11] Prior，A.N.，1967年，《过去、现在和未来》，牛津，牛津大学出版社·Zbl 0169.29802号 [12] Prior，A.N.，1968年，《关于时间和时态的论文》，牛津，牛津大学出版社 [13] Słupecki，J.，1953年，“圣勒希涅夫斯基的原型”，Studia Logica 1:45-113。内政部：·兹比尔0900.03042 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。