马丁·吉斯;汉斯·托姆皮茨 有限值非确定性逻辑的序列型拒绝系统。 (英语) Zbl 07757224号 J.应用。非类别。日志。 33,编号3-4,606-640(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Gius}和\textit{H.Tompits},J.Appl。非类别。日志。33,编号3--4,606--640(2023;Zbl 07757224) 全文: 内政部
安德烈亚斯·卡普斯纳;翁贝托·里维奇奥 一个值的值:完全正确的逻辑重新访问。 (英语) Zbl 07753835号 J.菲洛斯。日志。 52,第5期,1417-1444(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Kapsner}和\textit{U.Rivieccio},J.Philos。日志。52,第5号,1417--1444(2023;Zbl 07753835) 全文: 内政部 OA许可证
约翰·格兰特;安东尼·亨特 使用三值逻辑的语义不一致性度量。 (英语) Zbl 07710390号 国际J近似推理 156, 38-60 (2023).MSC公司:68层37 PDF格式BibTeX公司 XML格式引用 \textit{J.Grant}和\textit{A.Hunter},国际J.近似推理156,38--60(2023;Zbl 07710390) 全文: 内政部
巴特尔·库伊;阿拉德·塔明加 双面顺序计算FDE公司-比如四值逻辑。 (英语) Zbl 07677862号 J.菲洛斯。日志。 52,第2期,495-518(2023年).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{B.Kooi}和\textit{A.Tamminga},J.Philos。日志。52,编号2,495--518(2023;Zbl 07677862) 全文: 内政部
诺里希罗·卡米德 结合合并、次一致否定、经典否定和经典蕴涵的扩展悖论逻辑:如何构造尼斯-根森型序列演算。 (英语) Zbl 07603234号 日志。Univers大学。 16,第3期,389-417(2022).MSC公司:03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},日志。Univers大学。16,编号3,389--417(2022;Zbl 07603234) 全文: 内政部
诺里希罗·卡米德 嵌入友好的一阶定义和连接逻辑。 (英语) Zbl 07595243号 J.菲洛斯。日志。 51,第5期,1055-1102(2022).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.Philos。日志。51,编号5,1055-1102(2022;兹bl 07595243) 全文: 内政部
Yu Movsisyan。M。 布尔-德-摩根双层晶格。 (英语) Zbl 1497.06011号 J.穆特-有效日志。软计算。 38,编号1-2,137-152(2022). 审核人:方杰(广州) MSC公司:06时30分 05年6月 06B25号 75年6月 PDF格式BibTeX公司 XML格式引用 \textit{Yu.M.Movsisyan},J.Mult-有效日志。软计算。38,编号1--2,137-152(2022;Zbl 1497.06011) 全文: 链接
Sandra M.洛佩兹。 包含Routey和Meyer's Logic B的BN4和E4变体的Belnap-Dunn语义。 (英语) Zbl 07499529号 日志。日志。菲洛斯。 31,编号1,29-56(2022).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.M.López},日志。日志。菲洛斯。31,编号1,29-56(2022;Zbl 07499529) 全文: 内政部
诺里希罗·卡米德 证伪软件语义和经典逻辑的顺序计算。 (英语) Zbl 07484057号 J.菲洛斯。日志。 51,编号1,99-126(2022).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.Philos。日志。51,编号1,99-126(2022;Zbl 07484057) 全文: 内政部
谢尔盖·德罗比舍维奇 塔尔斯基双边后果关系:一些熟悉的概念。 (英语) Zbl 1525.03052号 合成 198,补充22,S5213-S5240(2021).MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Drobyshevich},综合198,S5213--S5240(2021;Zbl 1525.03052) 全文: 内政部
配件,梅尔文 严格/宽容的思想和双晶格。 (英语) Zbl 1496.03101号 Arieli,Ofer(编辑)等人,Arnon Avron关于非经典逻辑的语义和证明理论。查姆:斯普林格。外部。控制日志。21, 167-191 (2021).MSC公司:03B50号 03B53号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{M.配件},Outst。控制日志。21167--191(2021;Zbl 1496.03101) 全文: 内政部
卡洛斯·卡莱罗;塞尔吉奥·马塞利诺 关于公理和再扩展。 (英语) Zbl 07451998号 Arieli,Ofer(编辑)等人,Arnon Avron关于非经典逻辑的语义和证明理论。查姆:斯普林格。外部。控制日志。21, 39-69 (2021).MSC公司:03年XX月 65-XX岁 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}和\textit{S.Marcelino},Outst。控制日志。21、39——69(2021;Zbl 07451998) 全文: 内政部 arXiv公司
奥费尔·阿列利;安娜·扎曼斯基 引言:非经典逻辑-介于语义和证明理论之间(与阿诺·阿夫伦的工作有关)。 (英语) Zbl 07451996年 Arieli,Ofer(编辑)等人,Arnon Avron关于非经典逻辑的语义和证明理论。查姆:斯普林格。外部。控制日志。21, 1-11 (2021).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli}和\textit{A.Zamansky},Outst。控制日志。21、1--11(2021;Zbl 07451996) 全文: 内政部
Drobyshevich,S。;D.斯科特。 基于FDE的模态逻辑的邻域语义。 (英语) Zbl 07450672号 螺柱日志。 109,第6期,1273-1309(2021).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.Drobyshevich}和\textit{D.Skurt},Stud.Log。109,编号6,1273--1309(2021;Zbl 07450672) 全文: 内政部
诺里希罗·卡米德 可选多格逻辑:基于单序列和索引单序列计算的方法。 (英语) Zbl 07450671号 螺柱日志。 109,第6号,1241-1271(2021).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},螺柱日志。109,编号6,1241--1271(2021;Zbl 07450671) 全文: 内政部
诺里希罗·卡米德 格逻辑、双值逻辑和次协调量子逻辑:基于单序列系统的统一框架。 (英语) Zbl 07413737号 J.菲洛斯。日志。 50,编号4,781-811(2021).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.Philos。日志。50,编号4,781--811(2021;Zbl 07413737) 全文: 内政部
诺里希罗·卡米德 具有经典否定的扩展Belnap-Dunn逻辑的模态和直觉变体。 (英语) Zbl 1515.03097号 J.逻辑语言信息。 30,第3期,491-531(2021).MSC公司:03B45号 03B20型 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.Logic Lang.Inf.30,No.3,491--531(2021年;Zbl 1515.03097) 全文: 内政部
配件,梅尔文 一系列严格/宽容逻辑。 (英语) 兹比尔1496.03099 J.菲洛斯。日志。 50,编号2,363-394(2021).MSC公司:03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fitting},J.Philos。日志。50,编号2,363--394(2021;Zbl 1496.03099) 全文: 内政部
亚当·佩恩索尔 德摩根克隆和四值逻辑。 (英语) Zbl 1473.03045号 代数大学。 82,第2期,第30号论文,42页(2021年). 审核人:朱尼斯·切鲁利斯(里加) MSC公司:03G27号 03B50号 03C05号机组 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{A.Přenosil},代数大学。82,第2号,第30号论文,第42页(2021年;Zbl 1473.03045) 全文: 内政部 arXiv公司
列奥尼德·尤尔埃维奇·德维亚特金 论贝尔纳普四值逻辑某些展开式的表现力。 (俄语。英文摘要) Zbl 1509.03076号 日志。伊斯斯莱德。 26,第2期,116-143(2020年).MSC公司:03B50号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Y.Devyatkin},日志。伊斯斯莱德。26,第2号,116--143(2020;Zbl 1509.03076) 全文: 内政部
托拜厄斯·盖宾格;汉斯·托姆皮茨 非单调次协调逻辑系统的序列型计算。 (英语) Zbl 07455717号 Ricca,Francesco(ed.)等人,《第36届逻辑编程(技术通信)国际会议论文集》,ICLP 2020,UNICAL,Rende(CS),意大利,2020年9月18日至24日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)325178-191(2020)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Geibinger}和\textit{H.Tompits},电子。程序。西奥。计算。科学。(EPTCS)325178--191(2020;Zbl 07455717) 全文: arXiv公司 链接
诺里希罗·卡米德 带或不带拟爆炸的直觉主义反定义逻辑的Kripke完备定理和截断消除定理。 (英语) Zbl 1485.03060号 J.菲洛斯。日志。 49,第6期,1185-1212(2020).MSC公司:03B53号 03B50号 03B20型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.Philos。日志。49,编号6,1185-1212(2020;兹bl 1485.03060) 全文: 内政部
雅罗斯拉夫·彼得鲁金;瓦西里·尚金 对应分析和一级含义的自动证明搜索。 (英语) Zbl 1485.03029号 欧洲数学杂志。 6,第4期,1452-1495(2020).MSC公司:03B35型 68伏15 03B50号 03B47型 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Petrukhin}和\textit{V.Shangin},欧洲数学杂志。6,第4号,1452--1495(2020;Zbl 1485.03029) 全文: 内政部
诺里希罗·卡米德;尤尼·佐哈尔 理想准一致四值逻辑及其子系统的模态扩展。 (英语) Zbl 1459.03024号 Ann.纯粹应用。逻辑 171,第10号,文章ID 102830,30 p.(2020). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:03B45号 03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{Y.Zohar},Ann.Pure Appl。逻辑171,第10号,文章ID 102830,30页(2020;Zbl 1459.03024) 全文: 内政部
诺里希罗·卡米德;佐哈尔,约尼 一阶理想次协调四值逻辑的完备性和删减。 (英语) Zbl 1481.03010号 螺柱日志。 108,第3期,549-571(2020).MSC公司:03B53号 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{Y.Zohar},Stud.Log。108,第3号,549--571(2020;Zbl 1481.03010) 全文: 内政部
谢尔盖·奥丁佐夫。;斯坦尼斯拉夫·斯佩兰斯基。 Belnap-Dunn模态逻辑:真值常量与真值。 (英语) Zbl 1506.03071号 版本符号。日志。 13,第2期,416-435页(2020年).MSC公司:03B45号 03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Odintsov}和\textit{S.O.Speranski},Rev.Symb。日志。13,第2号,416--435(2020;Zbl 1506.03071) 全文: 内政部
扎伊纳布·巴赫蒂亚里;汉斯·范·迪特马什;翁贝托·里维奇奥 认知行为和知识的双态度逻辑。 (英语) Zbl 1481.03005号 Ann.纯粹应用。逻辑 171,第6号,文章ID 102790,27页(2020年).MSC公司:03B42号 03B50号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Bakhtiari}等人,Ann.Pure Appl。逻辑171,第6号,文章ID 102790,27页(2020;Zbl 1481.03005) 全文: 内政部 哈尔
丹尼尔·博内瓦克 自由选择理由。 (英语) Zbl 1452.03006号 合成 196,第2期,735-760(2019年).MSC公司:03A05号 03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bonevac},Synthese 196,No.2,735--760(2019;Zbl 1452.03006) 全文: 内政部
弗朗西斯科·保利 双边逻辑和去负。 (英语) Zbl 1469.03065号 Omori,Hitoshi(编辑)等人,关于Belnap-Dunn逻辑的新论文。查姆:斯普林格。合成。伦敦银行同业拆借利率。418, 233-253 (2019).MSC公司:03B50号 03G25号 03G27号 PDF格式BibTeX公司 XML格式引用 \textit{F.Paoli},Synth。伦敦银行同业拆借利率。418、233——253(2019年;兹比尔1469.03065) 全文: 内政部
艾伦·P·黑森(Allen P.Hazen)。;弗朗西斯·杰弗里·佩利蒂埃 K3、Ł3、LP、RM3、A3、FDE、M:如何使多值逻辑为您工作。 (英语) Zbl 1469.03063号 Omori,Hitoshi(编辑)等人,关于Belnap-Dunn逻辑的新论文。查姆:斯普林格。合成。伦敦银行同业拆借利率。418, 155-190 (2019).MSC公司:03B50号 03B47型 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Hazen}和\textit{F.J.Pelletier},Synth。伦敦银行同业拆借利率。418155-190(2019年;Zbl 1469.03063) 全文: 内政部 arXiv公司
陈良婷;马库斯·罗根巴赫;约翰·V·塔克。 数据链接的代数理论。 (英语) Zbl 1444.68066号 JoséLuiz(编辑)Fiadeiro等人,代数开发技术的最新趋势。第24届IFIP工作组1.3国际研讨会,2018年7月2日至5日,英国埃格姆,WADT 2018。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。11563, 47-66 (2019).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{L.-T.Chen}等人,Lect。注释计算。科学。11563、47-66(2019年;Zbl 1444.68066) 全文: 内政部 arXiv公司 链接
朱塞佩·格雷科;梁飞;亚历山德拉·帕尔米吉亚诺;翁贝托·里维奇奥 正确显示双位逻辑。 (英语) Zbl 1423.03079号 模糊集系统。 363, 138-155 (2019).MSC公司:03B52号 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Greco}等人,《模糊集系统》。363138-155(2019年;Zbl 1423.03079) 全文: 内政部 arXiv公司 链接
罗伯斯,杰玛;弗朗西斯科·萨尔托;何塞·门德斯。 Kleene强三值矩阵自然关联展开的Belnap-Dunn语义。II:只有一个指定值。 (英语) Zbl 1484.03043号 J.应用。非类别。日志。 29,第3号,307-325(2019).MSC公司:03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{G.Robles}等人,J.Appl。非类别。日志。29,第3号,307--325(2019;Zbl 1484.03043) 全文: 内政部 链接
阿诺·阿夫隆;尤尼·佐哈尔 不确定矩阵的重展开及其在非经典逻辑中的应用。 (英语) Zbl 07063885号 版本符号。日志。 12,第1期,173-200(2019).MSC公司:03B50号 03B52型 03B53号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}和\textit{Y.Zohar},Rev.Symb。日志。12,编号1,173--200(2019;Zbl 07063885) 全文: 内政部
罗伯斯,杰玛;何塞·门德斯。 具有两个指定值的Kleene强三值矩阵的自然关联展开的Belnap-Dunn语义。 (英语) Zbl 1444.03092号 J.应用。非类别。日志。 29,第1号,37-63(2019).MSC公司:03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{G.Robles}和\textit{J.M.Méndez},J.Appl。非类别。日志。29,第1号,37-63(2019年;Zbl 1444.03092) 全文: 内政部 链接
林,左权;陈,陈 默认推理的受限语义。 (英语) Zbl 1443.68179号 安。数学。Artif公司。智力。 84,编号3-4,185-200(2018).MSC公司:68T27型 03B50号 03B53号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Z.Lin}和\textit{C.Chen},Ann.Math。Artif公司。智力。84,编号3--4,185-200(2018;Zbl 1443.68179) 全文: 内政部
安东尼奥·莱达 各种双性相似的石头型表示和二重性。 (英语) Zbl 1437.06003号 螺柱日志。 106,第2期,417-448(2018).MSC公司:2012年1月6日 2015年6月 06年50月 18B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ledda},螺柱日志。106,第2号,417--448(2018;Zbl 1437.06003) 全文: 内政部 arXiv公司
亚历山大·卡彭科。 四值逻辑(mathbf{BD})和(mathbf{DM4}):扩展。 (英语) Zbl 1423.03070号 牛市。第节。日志。,大学后勤部。 46,编号1-2,33-45(2017).MSC公司:03B50号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Karpenko},公牛。第节。日志。,大学后勤部。46,编号1--2,33-45(2017;Zbl 1423.03070) 全文: 内政部
斯特凡·温斯坦;莱因哈德·马斯肯斯 Dunn逻辑的插值方法及其扩展。 (英语) Zbl 1417.03184号 螺柱日志。 105,第6期,1319-1347(2017).MSC公司:03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{S.Wintein}和\textit{R.Muskens},Stud.Log。105,第6号,1319--1347(2017;Zbl 1417.03184) 全文: 内政部
奥费尔·阿列利;阿诺·阿夫隆 四值悖论逻辑。 (英语) Zbl 1417.03190号 螺柱日志。 105,第6号,1087-1122(2017).MSC公司:03B53号 03B50号 03B47型 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli}和\textit{A.Avron},螺柱日志。105,第6号,1087--1122(2017;Zbl 1417.03190) 全文: 内政部
赛义德·贾布尔;马,岳;巴德兰·拉德道伊;拉赫达尔·赛斯 通过素蕴涵量化命题逻辑中的冲突。 (英语) Zbl 1419.68145号 国际J近似推理 89, 27-40 (2017).MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Jabbour}等人,《国际近似推理》89,27-40(2017;Zbl 1419.68145) 全文: 内政部
周春来 具有矛盾信息的证据推理的逻辑基础。 (英语) Zbl 1439.03061号 Bimbó,Katalin(编辑),J.Michael Dunn关于基于信息的逻辑。查姆:斯普林格。外部。控制日志。8, 213-246 (2016).MSC公司:03B50号 03B42号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhou},Outst(输出)。控制日志。8213-246(2016;Zbl 1439.03061) 全文: 内政部
精木赤山;牛顿·C·A·达·科斯塔。 为什么是次协调逻辑? (英语) Zbl 1429.03101号 Akama,Seiki(编辑),《走向准一致性工程》。Cham:Springer。智力。系统。参考图书馆。110, 7-24 (2016).MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{S.Akama}和\textit{N.C.A.da Costa},情报。系统。参考图书馆。110,7-24(2016年;兹比尔1429.03101) 全文: 内政部
大森,Hitoshi 从次协调逻辑到二元逻辑。 (英语) Zbl 1429.03108号 Andreas,Holger(编辑)等人,《科学和数学中次协调推理的逻辑研究》。查姆:斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。45, 111-134 (2016).MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{H.Omori},趋势日志。螺柱日志。伦敦银行同业拆借利率。45、111--134(2016;Zbl 1429.03108) 全文: 内政部
何塞·门德斯。;罗伯斯,杰玛 由Anderson和Belnap的一级蕴涵逻辑的Smiley矩阵决定的逻辑。 (英语) Zbl 1398.03109号 J.应用。非类别。日志。 26,第1号,47-68(2016).MSC公司:03B50号 03B53号 03B45号 03B47型 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Méndez}和\textit{G.Robles},J.Appl。非类别。日志。26,第1号,47--68(2016;Zbl 1398.03109) 全文: 内政部
何塞·门德斯。;罗伯斯,杰玛 用真函数模态算子加强Brady的次协调四值逻辑BN4。 (英语) Zbl 1396.03045号 J.逻辑语言信息。 25,第2期,163-189(2016).MSC公司:03B50号 03B53号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Méndez}和\textit{G.Robles},J.Logic Lang.Inf.25,No.2,163--189(2016;Zbl 1396.03045) 全文: 内政部
诺里希罗·卡米德 作为模态运算符的次一致双重否定。 (英语) Zbl 1375.03029号 数学。日志。问:。 62,第6期,552-562(2016). 审核人:雅罗斯拉夫·什兰科(Kryvyi Rih) MSC公司:03B53号 03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},数学。日志。问题62,第60552-562号(2016年;兹bl 1375.03029) 全文: 内政部
加布里埃拉·皮戈齐;亚历克西斯·苏基亚斯;保罗·维亚皮亚尼 人工智能偏好。 (英语) Zbl 1371.68262号 安。数学。Artif公司。智力。 77,编号3-4,361-401(2016).MSC公司:68T27型 68T05型 68立方英尺 68层37 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Pigozzi}等人,《数学年鉴》。Artif公司。智力。77,No.3--4,361--401(2016;Zbl 1371.68262) 全文: 内政部 链接
斯特凡·温斯坦;莱因哈德·马斯肯斯 Gentzen演算只为真理。 (英语) Zbl 1392.03032号 J.菲洛斯。日志。 45,第4号,451-465(2016).MSC公司:03B47型 03B50号 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Wintein}和\textit{R.Muskens},J.Philos。日志。45,第4号,451--465(2016;Zbl 1392.03032) 全文: 内政部
斯特凡·温斯坦 关于经典逻辑的所有强Kleene推广。 (英语) Zbl 1417.03197号 螺柱日志。 104,第3期,503-545(2016).MSC公司:03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{S.Wintein},Stud.Log。104、3号、503--545(2016;Zbl 1417.03197) 全文: 内政部
奥费尔·阿列利;阿诺·阿夫隆 三值次协调命题逻辑。 (英语) Zbl 1423.03092号 Beziau,Jean-Yves(编辑)等人,《次协调逻辑的新方向》。2014年2月13日至17日在印度加尔各答举行的第五届世界不一致性大会论文集。新德里:斯普林格。Springer程序。数学。Stat.152,91-129(2015)。MSC公司:03B53号 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli}和\textit{A.Avron},Springer Proc。数学。Stat.152,91-129(2015;Zbl 1423.03092) 全文: 内政部
奥费尔·阿列利 约束论证框架的无冲突和容错语义。 (英语) Zbl 1394.68363号 J.应用。日志。 13,第4号,第2部分,582-604(2015).MSC公司:68T27型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli},J.Appl(J.应用程序)。日志。13,第4号,第2部分,582--604(2015;Zbl 1394.68363) 全文: 内政部
大森,Hitoshi;胜彦三野 泛化Belnap-Dunn逻辑中的函数完整性。 (英语) Zbl 1376.03024号 螺柱日志。 103,第5期,883-917(2015). 审核人:Albert Hoogewijs(根特) MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{H.Omori}和\textit{K.Sano},Stud.Log。103,第5号,883--917(2015;Zbl 1376.03024) 全文: 内政部
彼得罗·巴罗尼;马西米利亚诺·贾科明;辽、北水 我不在乎,我不知道我知道的太多了!论抽象论证中的不完全性和不确定性。 (英语) Zbl 1432.68423号 Eiter,Thomas(编辑)等人,《知识表示、逻辑编程和抽象论证的进展》。在格哈德·布鲁卡60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。9060, 265-280 (2015).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baroni}等人,Lect。注释计算。科学。9060,265--280(2015;Zbl 1432.68423) 全文: 内政部
诺里希罗·卡米德 不一致容忍的多智能体演算。 (英语) Zbl 1323.03028号 国际J.不确定。模糊知道-基于系统。 2014年第6期第22页,第815-829页.MSC公司:03B53号 05年3月 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},国际期刊不确定。模糊知道-基于系统。22,第6号,815--829(2014;Zbl 1323.03028) 全文: 内政部
马塞洛·E·科尼格里奥。;马丁·菲加洛 与四价模态代数相关的两个逻辑的Hilbert式表示。 (英语) Zbl 1301.03022号 螺柱日志。 102,第3期,525-539(2014).MSC公司:03B45号 03B53号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Coniglio}和\textit{M.Figallo},Stud.Log。102、3号、525--539(2014;Zbl 1301.03022) 全文: 内政部
尤里·莫夫西扬。;瓦哈根·A·阿斯兰扬。 超德摩根函数和自由德摩根拟格。 (英语) Zbl 1346.08004号 美分。欧洲数学杂志。 第12号,第12期,1749-1761(2014). 审核人:方杰(广州) MSC公司:08B05号 08B20号 06B25号 06时30分 06E30年 6点20分 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{Y.M.Movsisyan}和\textit{V.A.Aslanyan},中央。欧洲数学杂志。12,第12号,1749-1761(2014;Zbl 1346.08004) 全文: 内政部
Yu Movsisyan。M。;V.A.阿斯兰扬。 德摩根函数和自由德摩根代数。 (英语) Zbl 1315.06012号 Demonstr公司。数学。 47,第2期,271-283(2014).MSC公司:06时30分 06E30年 06B25号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.M.Movsisyan}和\textit{V.A.Aslanyan},Demonstr。数学。47,第2号,271--283(2014;Zbl 1315.06012) 全文: 内政部
周春来 分配格上的置信函数。 (英语) Zbl 1334.68215号 Artif公司。智力。 201, 1-31 (2013).MSC公司:68立方英尺 03B42号 03B47型 05年6月 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhou},艺术。智力。201,1-31(2013年;兹bl 1334.68215) 全文: 内政部
诺里希罗·卡米德 弱双重否定的层次结构。 (英语) Zbl 1329.03064号 螺柱日志。 101,第6期,1277-1297(2013).MSC公司:03B53号 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},螺柱日志。101,第6号,1277--1297(2013;Zbl 1329.03064) 全文: 内政部
费利克斯·布;翁贝托·里维奇奥 含蓄的双边态度。 (英语) Zbl 1291.03119号 螺柱日志。 101,第4期,651-675(2013). 审核人:亚历克斯·西特金(沃伦) MSC公司:03G27号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{F.Bou}和\textit{U.Rivieccio},Stud.Log。101,第4号,651--675(2013;Zbl 1291.03119) 全文: 内政部
迈克尔·安德森。;瓦利德·戈马;约翰·格兰特;佩利斯,唐 一种人类层面的常识推理方法。 (英语) Zbl 1261.03014号 Tanaka,Koji(编辑)等人,Parasconsistence。逻辑和应用。2008年,澳大利亚墨尔本,第四届准一致性世界大会论文集。柏林:施普林格出版社(ISBN 978-94-007-4437-0/hbk)。《逻辑、认识论和科学的统一》26,201-222(2013)。MSC公司:03A05号 03B53号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Anderson}等人,日志。认识论。统一科学。26、201-222(2013;Zbl 1261.03014) 全文: 内政部
诺里希罗·卡米德;海因里希·瓦辛 纳尔逊次协调逻辑的证明理论:一个统一的观点。 (英语) Zbl 1382.03048号 西奥。计算。科学。 415, 1-38 (2012).MSC公司:03B53号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{H.Wansing},Theor。计算。科学。415、1--38(2012年;Zbl 1382.03048) 全文: 内政部
O·阿里利。;艾夫龙,A。;A.扎曼斯基。 理想的次协调逻辑。 (英语) Zbl 1248.03046号 螺柱日志。 99,编号1-3,31-60(2011).MSC公司:03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli}等人,研究日志。99,编号1--3,31-60(2011;Zbl 1248.03046) 全文: 内政部
诺里希罗·卡米德 关于强否定LJ的Craig插值的注记。 (英语) Zbl 1241.03029号 数学。日志。问:。 57,第4号,395-399(2011).MSC公司:03B50号 03B53号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},数学。日志。问57,第4号,395--399(2011;Zbl 1241.03029) 全文: 内政部
Jan A.Bergstra。;范德波尔(Jaco van de Pol) 四值序列逻辑的微积分。 (英语) 兹比尔1227.03028 西奥。计算。科学。 412,编号28,3122-3128(2011). 审核人:Albert Hoogewijs(根特) MSC公司:03B50号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.van de Pol},Theor。计算。科学。412,第28号,3122--3128(2011;Zbl 1227.03028) 全文: 内政部 链接
奥费尔·阿列利 基于距离的次一致逻辑。 (英语) Zbl 1189.03035号 国际J近似推理 48,第3期,766-783(2008).MSC公司:03B53号 03B50号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli},《国际近似推理》48,第3期,766--783(2008;Zbl 1189.03035) 全文: 内政部
约翰·格兰特;安东尼·亨特 分析不一致的一阶知识库。 (英语) Zbl 1183.68614号 Artif公司。智力。 172,编号8-9,1064-1093(2008).MSC公司:68层35 03B53号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Grant}和\textit{A.Hunter},人工制品。智力。172,编号8--91064--1093(2008;Zbl 1183.68614) 全文: 内政部
塞巴斯蒂安·科尼埃奇尼;皮埃尔·侯爵;菲利普·贝斯纳德 双态逻辑中的双极性。 (英语) Zbl 1154.03009号 《国际情报杂志》。系统。 23,第10号,1046-1061(2008).MSC公司:03B50号 03B53号 03B60号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Konieczny}等人,《国际情报杂志》。系统。23,编号10,1046——1061(2008年;兹bl 1154.03009) 全文: 内政部
西尔维·科斯特·马奎斯;皮埃尔·侯爵 通过忘记不一致来恢复一致性。 (英语) Zbl 1178.03038号 Hölldobler,Steffen(编辑)等人,《人工智能中的逻辑》。第11届欧洲会议,JELIA 2008,德国德累斯顿,2008年9月28日至10月1日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-87802-5/pbk)。计算机科学课堂讲稿5293。《人工智能讲义》,113-125(2008)。MSC公司:03B53号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.科斯特马奎斯}和\textit{P.马奎斯,莱克特。注释计算。科学。5293、113--125(2008年;Zbl 1178.03038) 全文: 内政部 哈尔
马,岳;桂林齐;帕斯卡·希茨勒;林,左权 一种通过次一致语义计算不一致性度量的算法。 (英语) Zbl 1148.68495号 Mellouli,Khaled(编辑),不确定性推理的符号和定量方法。第九届欧洲会议,2007年10月31日至11月2日,ECSQARU,突尼斯哈马马特。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75255-4/pbk)。计算机科学课堂讲稿4724。《人工智能课堂讲稿》,91-102(2007)。MSC公司:68立方英尺 68T27型 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ma}等人,Lect。注释计算。科学。4724,91-102(2007;Zbl 1148.68495) 全文: 内政部
马,岳;桂林齐;帕斯卡·希茨勒;林,左权 基于次一致语义的描述逻辑不一致性度量。 (英语) Zbl 1148.68487号 Mellouli,Khaled(编辑),不确定性推理的符号和定量方法。第九届欧洲会议,2007年10月31日至11月2日,ECSQARU,突尼斯哈马马特。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75255-4/pbk)。计算机科学课堂讲稿4724。人工智能课堂讲稿,30-41(2007)。MSC公司:68T27型 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ma}等人,Lect。注释计算。科学。4724,30--41(2007;Zbl 1148.68487) 全文: 内政部 链接
Deschrijver,很高兴;奥费尔·阿列利;克里斯·科内利斯;艾蒂安·凯尔(Etienne E.Kerre)。 处理分级真实性和不精确性的基于双参数的框架。 (英语) Zbl 1121.03073号 国际J.不确定。模糊知道-基于系统。 15,第1期,13-41(2007). 审核人:维托尔德·佩德里茨(埃德蒙顿) MSC公司:03E72型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{G.Descrijver}等人,《国际期刊不确定性》。模糊知道-基于系统。15、第1号、第13-41号(2007;Zbl 1121.03073) 全文: 内政部
迪米特·瓦卡雷洛夫 海伦娜·拉西奥瓦作品中的非经典否定及其对否定理论的影响。 (英语) Zbl 1114.03027号 螺柱日志。 84,第1期,105-127(2006).MSC公司:03B60号 03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Vakarelov},研究日志。84,第1号,第105-127条(2006年;Zbl 1114.03027) 全文: 内政部
比塔·科尼科夫斯卡 具有不一致性和不确定性的逻辑的分解演绎系统。 (英语) Zbl 1185.03048号 J.应用。非类别。日志。 15,第1期,25-44(2005).MSC公司:03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{B.Konikowska},J.Appl。非类别。日志。15、第1号、第25-44号(2005年;Zbl 1185.03048) 全文: 内政部
诺里希罗·卡米德 双值否定的Gentzen型方法。 (英语) Zbl 1086.03025号 螺柱日志。 80,编号2-3265-289(2005).MSC公司:03B60号 05年3月 03B45号 03B47型 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},螺柱日志。80,编号2--3,265--289(2005;Zbl 1086.03025) 全文: 内政部
阿诺·阿夫隆 关于非经典否定的非确定性观点。 (英语) Zbl 1086.03023号 螺柱日志。 80,第2-3号,159-194(2005).MSC公司:03B60号 03B20型 03B50号 03B53号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron},Stud.Log。80,编号2--3159-194(2005;Zbl 1086.03023) 全文: 内政部
Yann Loyer;翁贝托·斯特拉契亚 逻辑编程中的任意世界假设。 (英语) Zbl 1077.68013号 西奥。计算。科学。 342,编号2-3,351-381(2005).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Loyer}和\textit{U.Straccia},Theor。计算。科学。342,编号2--3,351--381(2005;Zbl 1077.68013) 全文: 内政部
O·阿里利。 不同程度的不确定性推理。 (英语) Zbl 1180.68268号 J.应用。非类别。日志。 13,编号3-4,317-343(2003).MSC公司:68层37 03B50号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli},J.Appl(J.应用程序)。非类别。日志。13,编号3--4,317--343(2003;Zbl 1180.68268) 全文: 内政部
Yann Loyer;尼古拉斯·斯皮拉托斯;丹尼尔,坚持 逻辑程序的参数化语义——统一框架。 (英语) Zbl 1070.68086号 西奥。计算。科学。 308,编号1-3,429-447(2003).MSC公司:68问题55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Loyer}等人,Theor。计算。科学。308,编号1-3429-447(2003年;兹bl 1070.68086) 全文: 内政部
阿明·穆萨维;帕维兹·贾贝达尔·马拉拉尼 双面粗糙集和粗糙通信。 (英语) Zbl 1024.68102号 信息科学。 148,编号1-4,41-53(2002).MSC公司:68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{A.Mousavi}和\textit{P.Jabedar-Maralani},信息科学。148,编号1--4,41-53(2002;Zbl 1024.68102) 全文: 内政部