中文
Sign in
AI tools
热门问题
时间线
聊天
Loading AI tools
全部
文章
字典
引用
地图
John Corcoran (logician)
来自维基百科,自由的百科全书
Found in articles
扬·武卡谢维奇
以武卡谢维奇的創新著作為基礎,這些著作將現代邏輯的方法應用於亞里士多德對偶邏輯的形式化。 1970年代初,约翰·科科伦(英语:
John
Corcoran
(
logician
))和蒂莫西·斯迈利(英语:Timothy Smiley)發表了一系列論文,為武卡谢维奇方法注入了新的活力,羅賓·史密斯(Robin
阿尔弗雷德·塔斯基
Beth) 受影响自 查爾斯·桑德斯·皮爾士 揚·盧卡西維茨 施影响于 肯尼斯·阿羅 魯道夫·卡爾納普 約翰·柯寇蘭(英语:
John
Corcoran
(
logician
)) 唐納德·戴維森 埃里希·萊奧·萊曼(英语:Erich Leo Lehmann) 卡爾·波普爾 威拉德·范·奥曼·蒯因 帕特里克·蘇佩斯(英语:Patrick