×
作者ID: 贝尔纳普·努埃尔·德军最近zbMATH文章由“Belnap,Nuel D.jun”撰写
发布日期: 贝尔纳普,努埃尔;贝尔纳普,Nuel D.jun。;贝尔纳普,N.D.jun。;纽尔·D·贝尔纳普。;贝尔纳普,努尔·D。;北卡罗来纳州贝尔纳普。
已编制索引的文档: 69出版物自1959年起,包括5本书
2进一步捐款
传记参考: 3出版物
合著者: 20位合著者具有38联合出版物
325位合作作者
全部的 前5名

合著者

33 单作者的
7 安德森、阿兰·罗斯
5 托马斯·米勒
4 乔恩·迈克尔·邓恩
4 托马斯·普莱克
迈克尔·麦克罗比。
2 阿尼尔·库马尔·古普塔
2 Kohei的Kishida
2 胡格斯·勒布朗
2 杰拉尔德·梅西。
2 迈克尔·珀洛夫
2 里士满·H·托马森。
2 约翰·华莱士。
2 海因里希·西奥多
1 埃文德罗·阿加齐
1 安德森、罗斯·艾伦
1 理查德·布拉德肖,安吉尔
1 乔泽夫·玛丽亚·博琴斯基
1 埃托雷·卡萨里
1 卡洛斯·卡斯特罗·佩雷尔曼
1 J·克罗斯韦特。
1 Dalla Chiara,玛丽亚·路易莎
1 美国埃格利。
1 Jens Erik芬斯塔德
1 很好,Kit
1 多萝西·L·格罗弗。
1 汉斯·赫尔墨斯
1 贾科·辛提卡
1 约翰·霍蒂。
1 查尔斯·基尔科夫。
1 乔治·克雷塞尔
1 Czesław Lejewski
1 安格斯·约翰·麦金太尔
1 斯托斯·麦考尔
1 罗伯特·肯尼思·梅耶
1 查尔斯·格雷迪·摩根
1 约翰·R·米希尔。
1 让·诺曼
1 帕克斯·克利福德,J。
1 帕克斯,赞恩
1 威廉·塔西尔·帕里
1 格雷厄姆牧师
1 Reyes,Gonzalo E。
1 理查德·西尔文
1 施莱切特,H。
1 库尔特·舒特
1 乔尔·斯宾塞。
1 罗伯特·斯大纳克。
1 托马斯·琼·斯蒂尔(Thomas B.jun)。
1 斯坦尼斯劳·苏尔马。
1 盖西·塔库蒂
1 安妮·斯杰尔普·特罗尔斯特拉
1 阿拉斯代尔·厄克哈特
1 van Dijk,T.A。
1 范·弗雷森(Bas C.van Fraassen)。
1 马修·韦纳

按年份列出的出版物

zbMATH Open中包含的引文

59出版物有1691年被引用1159文件 引用人 年份
牵连。相关性和必要性的逻辑。第一卷。 兹比尔0323.02030
安德森、阿兰·罗斯;贝尔纳普,Nuel D.jun。
446
1975
有用的四值逻辑。 Zbl 0417.03009号
贝尔纳普,Nuel D.jun。
186
1977
牵连。相关性和必要性的逻辑。第二卷。 Zbl 0921.03025号
安德森、阿兰·罗斯;贝尔纳普,Nuel D.jun。;J.Michael Dunn
169
1992
有用的四值逻辑。 Zbl 0424.03012号
贝尔纳普,Nuel D.jun。
144
1977
真理修正理论。 Zbl 0858.03010号
阿尼尔·古普塔;贝尔纳普,努埃尔
119
1993
显示逻辑。 兹比尔0509.03008
贝尔纳普,Nuel D.jun。
75
1982
时空分支。 Zbl 0776.03001号
贝尔纳普,诺尔
51
1992
审议策略:对作为、不作为、能力和义务的研究。 Zbl 0846.03001号
约翰·霍蒂。;贝尔纳普,努埃尔
48
1995
隐含和相关性。 Zbl 0107.00802号
贝尔纳普,N.D.jun。
30
1960
纯蕴涵演算。 Zbl 0113.00403号
A.R.安德森。;贝尔纳普,N.D.jun。
30
1963
问答逻辑。 Zbl 0345.020155号
贝尔纳普,Nuel D.jun。;托马斯·琼·斯蒂尔(Thomas B.jun)。
28
1976
一级含义。 Zbl 0113.00402号
A.R.安德森。;贝尔纳普,N.D.jun。
24
1963
因果关系理论:因果关系(起源原因)是分支时空中的inus条件。 Zbl 1084.83036号
贝尔纳普,努埃尔
23
2005
计算机应该如何思考。 Zbl 1469.03060号
纽尔·D·贝尔纳普。
23
2019
代理人的方式。 Zbl 0789.03023号
贝尔纳普,努埃尔;迈克尔·珀洛夫
20
1992
一级方程式的内涵模型。 兹比尔0166.00401
贝尔纳普,N.D.jun。
19
1967
条件断言和限制量化。 Zbl 1366.03023号
贝尔纳普,Nuel D.jun。
17
1970
因果概率如何适应我们客观上不确定的世界。 Zbl 1099.83559号
马修·韦纳;贝尔纳普,诺尔
15
2006
带否定蕴涵系统(E_{barI})的一种判定过程。 Zbl 0143.24902号
贝尔纳普,N.D.jun。;J.R.华莱士。
15
1965
分支时空中的有趣业务:无限模态相关性。 Zbl 1169.03319号
托马斯·米勒;贝尔纳普,努埃尔;Kohei的Kishida
14
2008
双时间参考:在非决定论背景下,演讲-表演报告作为形式。 Zbl 1040.03004号
纽尔·D·贝尔纳普。
13
2002
在代理领域。 Zbl 0866.03009号
贝尔纳普,努埃尔;迈克尔·佩洛夫
13
1993
阿克曼《严格含义》中的模式。 Zbl 0090.00903号
安德森、阿兰·罗斯;贝尔纳普,Nuel D.jun。
13
1959
不确定性是一个模态概念:时空分支和厄曼剪枝。 Zbl 1275.03045号
托马斯·普莱克;贝尔纳普,努埃尔
12
2012
限制量化和条件断言。 Zbl 0278.02010
贝尔纳普,Nuel D.jun。
11
1973
广义真值。对Dubois的回复。 Zbl 1209.03020号
海因里希·瓦辛;贝尔纳普,诺尔
9
2010
CIFOL:案例密集型一阶逻辑。一: 朝向某种理论。 Zbl 1325.03016号
贝尔纳普,努埃尔;托马斯·米勒
7
2014
BH-CIFOL:案例密集型一阶逻辑。二: 分支历史记录。 兹伯利1325.03017
贝尔纳普,努埃尔;托马斯·米勒
7
2014
分支时空中的代理和代理。 Zbl 1082.03003号
贝尔纳普,努埃尔
7
2005
密集互补分配格。 Zbl 0158.27103号
贝尔纳普,N.D.jun。;J.H.斯宾塞。
7
1966
生活在未分配的中间。 Zbl 0941.03519号
贝尔纳普,努埃尔
6
1994
相关逻辑中的方向。 Zbl 0731.03014号
6
1989
倾向和概率。 Zbl 1223.60002号
贝尔纳普,努埃尔
6
2007
语义整体论。 Zbl 0706.03005号
贝尔纳普,Nuel D.jun。;杰拉尔德·梅西。
6
1990
显示线性逻辑。 Zbl 0706.03043号
贝尔纳普,努埃尔
6
1990
集补分配格的同态。 Zbl 0155.03102号
J.M.邓恩。;贝尔纳普,N.D.jun。
6
1968
显示问题。 兹比尔0867.03017
贝尔纳普,努埃尔
6
1996
关于不确定性的拓扑问题。 Zbl 1304.03040号
托马斯·普莱克;贝尔纳普,努埃尔;Kohei的Kishida
5
2014
关于不加强直觉主义逻辑。 Zbl 0131.00605号
北卡罗来纳州六月贝尔纳普。;H.勒布朗。;托马森·R·H·。
5
1963
对真值函数的简单处理。 Zbl 0096.24204号
安德森、罗斯·艾伦;贝尔纳普,Nuel D.jun。
5
1959
相关分析表。 Zbl 0406.03032号
迈克尔·麦克罗比。;贝尔纳普,Nuel D.jun。
4
1979
具有必然性的正相关蕴涵的连续演算。 Zbl 0448.03010号
贝尔纳普郡,Nuel D。;阿尼尔·古普塔;邓恩,J.迈克尔
4
1980
纯蕴涵理论的独立公理图式。 Zbl 0095.00702号
安德森、阿兰·罗斯;贝尔纳普,Nuel D.jun。;约翰·华莱士。
4
1960
\(EQ)和一阶函数微积分。 Zbl 0095.00802号
贝尔纳普,Nuel D.jun。
4
1960
量化引用和不引用。 Zbl 0278.0209号
贝尔纳普,Nuel D.jun。;多萝西·L·格罗弗。
1973
结果的想法。 Zbl 0897.03056号
贝尔纳普,诺尔
1996
代理处于分支时间。 Zbl 0925.03013号
贝尔纳普,努埃尔
1996
牛顿决定论到分支时空不确定性的两步走。 Zbl 1279.03020号
贝尔纳普,努埃尔
2012
证明一些一级相关原基因的表式。 兹伯利0569.03007
迈克尔·麦克罗比。;贝尔纳普,Nuel D.jun。
2
1984
问题:他们的预设,以及他们如何无法出现。 Zbl 0202.00603号
贝尔纳普,N.D.jun。
2
1969
在卡纳普的灯下:扁平的前语义。 Zbl 1086.03003号
贝尔纳普,努埃尔
2
2005
两个属性。 Zbl 0351.02017号
贝尔纳普,Nuel D.jun。
2
1976
一个规则完备定理。 Zbl 0118.01303号
贝尔纳普,N.D.jun。;托马森·R·H·。
2
1963
分支时空的新基础。 Zbl 07339955号
北卡罗来纳州贝尔纳普。;T·米勒。;Placek,T。
2
2021
在CIFOL+中内化与病例相关的事实。 Zbl 1287.03043号
贝尔纳普,努埃尔
1
2014
真值、非真或假以及超估值。 Zbl 1169.03004号
贝尔纳普,努埃尔
1
2009
分支历史接近于非决定论和自由意志。 Zbl 1243.03006号
贝尔纳普,努埃尔
1
2005
分支时空中规范的序言。 Zbl 1219.03006号
贝尔纳普,诺尔
1
2011
相关分析表(摘要)。 Zbl 0349.02019号
迈克尔·麦克罗比。;贝尔纳普,Nuel D.jun。
1
1977
分支时空的新基础。 Zbl 07339955号
北卡罗来纳州贝尔纳普。;T·米勒。;Placek,T。
2
2021
计算机应该如何思考。 Zbl 1469.03060号
纽尔·D·贝尔纳普。
23
2019
CIFOL:案例密集型一阶逻辑。一: 朝向某种理论。 Zbl 1325.03016号
贝尔纳普,努埃尔;托马斯·米勒
7
2014
BH-CIFOL:案例密集型一阶逻辑。二: 分支历史记录。 Zbl 1325.03017号
贝尔纳普,努埃尔;托马斯·米勒
7
2014
关于不确定性的拓扑问题。 兹比尔1304.03040
托马斯·普莱克;贝尔纳普,努埃尔;Kohei的Kishida
5
2014
在CIFOL+中内化与病例相关的事实。 Zbl 1287.03043号
贝尔纳普,努埃尔
1
2014
不确定性是一个模态概念:时空分支和厄曼剪枝。 Zbl 1275.03045号
托马斯·普莱克;贝尔纳普,努埃尔
12
2012
牛顿决定论到分支时空不确定性的两步走。 Zbl 1279.03020号
贝尔纳普,努埃尔
2012
分支时空中规范的序言。 Zbl 1219.03006号
贝尔纳普,诺尔
1
2011
广义真值。对Dubois的回复。 Zbl 1209.03020号
海因里希·瓦辛;贝尔纳普,努埃尔
9
2010
真值、非真或假以及超估值。 Zbl 1169.03004号
贝尔纳普,努埃尔
1
2009
分支空间时代的有趣事务:无限模态相关性。 Zbl 1169.03319号
托马斯·米勒;贝尔纳普,努埃尔;Kohei的Kishida
14
2008
倾向和概率。 Zbl 1223.60002号
贝尔纳普,努埃尔
6
2007
因果概率如何适应我们客观上不确定的世界。 Zbl 1099.83559号
马修·韦纳;贝尔纳普,努埃尔
15
2006
因果关系理论:因果关系(起源原因)是分支时空中的inus条件。 Zbl 1084.83036号
贝尔纳普,努埃尔
23
2005
分支时空中的代理和代理。 兹比尔1082.03003
贝尔纳普,努埃尔
7
2005
在卡纳普的灯下:扁平的前语义。 Zbl 1086.03003号
贝尔纳普,努埃尔
2
2005
分支历史接近于非决定论和自由意志。 Zbl 1243.03006号
贝尔纳普,努埃尔
1
2005
双时间参考:在非决定论背景下,演讲-表演报告作为形式。 Zbl 1040.03004号
纽尔·D·贝尔纳普。
13
2002
显示问题。 Zbl 0867.03017号
贝尔纳普,努埃尔
6
1996
结果的想法。 兹标0897.03056
贝尔纳普,努埃尔
1996
代理处于分支时间。 Zbl 0925.03013号
贝尔纳普,努埃尔
1996
审议策略:对作为、不作为、能力和义务的研究。 Zbl 0846.03001号
约翰·霍蒂。;贝尔纳普,努埃尔
48
1995
生活在未分配的中间。 Zbl 0941.03519号
贝尔纳普,努埃尔
6
1994
真理修正论。 Zbl 0858.03010号
阿尼尔·古普塔;贝尔纳普,努埃尔
119
1993
在代理领域。 Zbl 0866.03009号
贝尔纳普,努埃尔;迈克尔·珀洛夫
13
1993
牵连。相关性和必要性的逻辑。第二卷。 Zbl 0921.03025号
艾伦·罗斯,安德森;贝尔纳普,Nuel D.jun。;J.Michael Dunn
169
1992
时空分支。 Zbl 0776.03001号
贝尔纳普,努埃尔
51
1992
代理人的方式。 Zbl 0789.03023号
贝尔纳普,努埃尔;迈克尔·珀洛夫
20
1992
语义整体论。 Zbl 0706.03005号
贝尔纳普,Nuel D.jun。;杰拉尔德·梅西。
6
1990
显示线性逻辑。 兹伯利0706.03043
贝尔纳普,努埃尔
6
1990
相关逻辑中的方向。 Zbl 0731.03014号
6
1989
证明一些一级相关原基因的表式。 Zbl 0569.03007号
迈克尔·麦克罗比。;贝尔纳普,Nuel D.jun。
2
1984
显示逻辑。 兹比尔0509.03008
贝尔纳普,Nuel D.jun。
75
1982
具有必然性的正相关蕴涵的连续演算。 Zbl 0448.03010号
贝尔纳普郡,Nuel D。;阿尼尔·古普塔;J.Michael Dunn
4
1980
相关分析表。 Zbl 0406.03032号
迈克尔·麦克罗比。;贝尔纳普,Nuel D.jun。
4
1979
有用的四值逻辑。 Zbl 0417.03009号
贝尔纳普,Nuel D.jun。
186
1977
有用的四值逻辑。 Zbl 0424.03012号
贝尔纳普,努尔·D·琼。
144
1977
相关分析表(摘要)。 Zbl 0349.02019号
迈克尔·麦克罗比。;贝尔纳普,Nuel D.jun。
1
1977
问答逻辑。 Zbl 0345.020155号
贝尔纳普,Nuel D.jun。;托马斯·琼·斯蒂尔(Thomas B.jun)。
28
1976
两个属性。 Zbl 0351.02017号
贝尔纳普,Nuel D.jun。
2
1976
牵连。相关性和必要性的逻辑。第一卷。 Zbl 0323.02030号
安德森、阿兰·罗斯;贝尔纳普,努尔·D·琼。
446
1975
限制量化和条件断言。 Zbl 0278.02010
贝尔纳普,Nuel D.jun。
11
1973
量化引用和不引用。 Zbl 0278.0209号
贝尔纳普,Nuel D.jun。;多萝西·L·格罗弗。
1973
条件断言和限制量化。 Zbl 1366.03023号
贝尔纳普,Nuel D.jun。
17
1970
问题:他们的预设,以及他们如何无法出现。 Zbl 0202.00603号
贝尔纳普,N.D.jun。
2
1969
集补分配格的同态。 Zbl 0155.03102号
J.M.邓恩。;贝尔纳普,N.D.jun。
6
1968
一级方程式的内涵模型。 Zbl 0166.00401号
贝尔纳普,N.D.jun。
19
1967
密集互补分配格。 Zbl 0158.27103号
北卡罗来纳州六月贝尔纳普。;J.H.斯宾塞。
7
1966
带否定蕴涵系统(E_{barI})的一种判定过程。 Zbl 0143.24902号
贝尔纳普,N.D.jun。;J.R.华莱士。
15
1965
纯蕴涵演算。 Zbl 0113.00403号
A.R.安德森。;贝尔纳普,N.D.jun。
30
1963
一级牵连。 Zbl 0113.00402号
A.R.安德森。;贝尔纳普,N.D.jun。
24
1963
关于不加强直觉主义逻辑。 兹比尔0131.00605
贝尔纳普,N.D.jun。;H.勒布朗。;托马森·R·H·。
5
1963
一个规则完备定理。 Zbl 0118.01303号
贝尔纳普,N.D.jun。;托马森·R·H·。
2
1963
纠缠和相关性。 Zbl 0107.00802号
贝尔纳普,N.D.jun。
30
1960
纯蕴涵理论的独立公理图式。 Zbl 0095.00702号
安德森、阿兰·罗斯;贝尔纳普,Nuel D.jun。;约翰·华莱士。
4
1960
\(EQ)和一阶函数微积分。 Zbl 0095.00802号
贝尔纳普,Nuel D.jun。
4
1960
阿克曼《严格含义》中的模式。 Zbl 0090.00903号
安德森、阿兰·罗斯;贝尔纳普,Nuel D.jun。
13
1959
对真理函数的简单处理。 Zbl 0096.24204号
安德森、罗斯·艾伦;贝尔纳普,Nuel D.jun。
5
1959
全部的 前5名

857位作者引用

27 诺里希罗·卡米德
26 杰玛·罗伯斯
25 海因里希·西奥多
22 何塞·梅恩德斯。
21 贝尔纳普,Nuel D.jun。
19 阿诺·阿夫隆
19 乔恩·迈克尔·邓恩
16 詹姆斯·拉弗瑞。
14 比姆博,卡塔林
14 迪迪埃·杜布瓦
14 埃德温·马雷斯(Edwin D.Mares)。
14 罗伯特·肯尼思·梅耶
14 托马斯·米勒
14 雅罗斯拉夫·伊戈列维奇·彼得鲁金
14 托马斯·普莱克
14 肖恩·斯坦德弗
13 雅罗斯拉夫·什兰科。
11 翁贝托·里维奇奥
10 比尔,Jc
10 汉内斯·莱特盖布
10 格雷格·雷斯塔尔
9 罗斯·托马斯·布雷迪
9 马明辉
8 奥费尔·阿列利
8 谢尔盖·奥丁佐夫。
8 亚当·佩恩索尔
8 约翰·斯莱尼。
8 斯特凡·温斯坦
7 弗朗西斯·尼西姆
7 萨宾·弗里特拉
7 加贝,多夫·M。
7 劳埃德·亨伯斯通
7 托马索·莫拉希尼
7 弗朗西斯科·保利
7 亨利·普拉德。
7 理查德·西尔文
7 安德鲁·特德
7 阿拉斯代尔·厄克哈特
7 安德烈·维希涅夫斯基
6 迪德里克·巴滕斯
6 蝉蜕、阿加塔
6 大卫·丘奇
6 达戈斯蒂诺,马塞洛
6 谢尔盖·德罗比舍维奇
6 托马斯·麦考利·弗格森
6 朱塞佩·格雷科
6 约翰·霍蒂。
6 Daniel Kozhemiachenko
6 雷因哈德·马斯肯斯(Reinhard A.Muskens)。
6 Ø戈尔,托雷·费特兰
6 亚历山德拉·帕尔米吉亚诺
6 格雷厄姆牧师
6 瓦西里·尚金
6 徐明
5 吉安·阿尔多·安东内利
5 玛尔塔·比尔科娃
5 里卡多·布鲁尼
5 保罗·埃格里
5 马塞洛·芬格
5 装配,梅尔文·克里斯
5 尼古拉斯·加拉托斯
5 拉杰夫·普拉巴卡尔·戈尔
5 艾伦·P·黑森(Allen P.Hazen)。
5 莱昂·霍斯顿
5 明兴
5 安德烈·因德泽扎克(Andrzej Indrzejczak)
5 菲利普·克莱默
5 埃米利亚诺·洛里尼
5 Movsisyan、Yuri Movses
5 雷文莎·拉马纳亚克
5 埃多尔多·里韦洛
5 达米安·恩里克·斯穆克
5 Allard M.塔明加。
5 尼尔·W·坦南。
5 埃斯科·图伦
5 约翰·J·万嫩堡。
5 耶鲁大学维斯
5 Dmitry V.扎伊采夫。
4 帕特里克·阿洛
4 吉列尔莫·巴迪亚
4 菲利普·贝斯纳德
4 Broersen,Jan M。
4 卡洛斯·卡莱罗
4 彼得·辛图拉
4 科斯塔·多森
4 路易斯·埃斯特拉达·冈萨雷斯
4 沃尔克·哈尔巴赫
4 阿希姆·荣格
4 乔纳森·劳里
4 林元雷
4 Ondrej Majer
4 弗朗西斯科·奥利利亚
4 弗朗西斯·杰弗里·佩利蒂埃
4 戴维·里普利
4 阿比利奥·罗德里格斯
4 伊戈尔·塞德拉尔
4 苏布拉曼尼亚,V.S。
4 亚历克西斯·苏基亚斯
4 罗伯特·范·鲁伊
4 彼得·弗代尔
…还有757名作者
全部的 前5名

引用于87连载

175 哲学逻辑杂志
147 逻辑研究
91 合成
55 符号逻辑述评
41 应用非经典逻辑杂志
40 圣母院形式逻辑杂志
38 人工智能
33 逻辑与逻辑哲学
32 泛逻辑
30 理论计算机科学
25 符号逻辑杂志
23 逻辑、语言与信息杂志
21 应用逻辑杂志
20 国际近似推理杂志
15 埃尔肯特尼斯
14 逻辑部分公告
13 模糊集与系统
12 纯逻辑与应用逻辑年鉴
12 符号逻辑公报
10 逻辑历史与哲学
9 信息科学
9 数学逻辑季刊(MLQ)
9 数学与人工智能年鉴
8 代数普遍性
7 自动化推理杂志
7 托波伊
7 科学的历史和哲学研究。第二部分近代物理史与哲学研究
6 物理学基础
6 Logicheskie Issledovaniya公司
5 多值逻辑与软计算杂志
4 代数与逻辑
4 信息与计算
4 数学逻辑档案
4 ACM计算逻辑汇刊
4 计算机科学中的逻辑方法
纯粹与应用代数杂志
数学年刊
逻辑与代数程序设计杂志
诺尔斯
程序设计中的逻辑和代数方法杂志
2 计算机与数学及其应用
2 国际理论物理杂志
2 苏联数学杂志
2 京都大学数学科学研究所出版物
2 理论与决策
2 美国数学学会会刊
2 符号计算杂志
2 国际智能系统杂志
2 国际代数与计算杂志
2 软计算
2 逻辑程序设计理论与实践
2 智能与模糊系统杂志
2 日本科学院院刊
2 亚美尼亚数学杂志
2 ChelyabinskiĭFiziko-Matematicheskiĭ·朱纳尔
1 信息学报
1 代数通讯
1 数学物理中的通信
1 国际通用系统杂志
1 信息处理信件
1 混沌、孤子和分形
1 数学档案馆
1 数学合成
1 演示数学
1 代数杂志
1 语言学与哲学
1 模拟中的数学和计算机
1 斯洛伐克数学
1 数学社会科学
1 新一代计算
1 运筹学年鉴
1 MSCS公司。计算机科学中的数学结构
1 游戏与经济行为
1 尤约。南斯拉夫运筹学杂志
1 线性代数及应用
1 Indagationes Mathematicae公司。新系列
1 应用分类结构
1 高阶和符号计算
1 科学基础
1 计算机基础理论
1 中欧数学杂志
1 国际语义计算杂志
1 数学地球科学
1 计算机科学前沿
1 可计算性
1 欧洲数学杂志
1 离散与应用数学的艺术

按年份列出的引文