×

J.迈克尔·邓恩(J.Michael Dunn):基于信息的逻辑。 (英语) Zbl 1343.03001号

对逻辑的杰出贡献8.查姆:施普林格(ISBN 978-3-319-29298-4/hbk;978-3-3169-29300-4/电子书)。第十三章,436页。(2016).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。
索引文章:
比姆博,卡塔林,引言:从一般信息到逻辑语义,1-14[Zbl 1439.03048号]
阿诺·阿夫隆,\(\mathbf{RM}\)及其优良性质,15-43[Zbl 1439.03047号]
克里斯·莫滕森,楔形和,合并和不一致,45-51[Zbl 1439.03065号]
多尔夫·乌尔里奇,(mathbf{R})、R-Mingle和一些相关系统的关联片段的单个公理和公理对,53-80[兹比尔1439.03055]
拉里萨·马克西莫娃,LC及其婚前亲属,81-91[Zbl 1439.03051号]
阿拉斯代尔厄克特,《伽玛的故事》,93-105[Zbl 1439.03056号]
埃德温·马雷斯,操纵信息来源:对线性逻辑和强相关性逻辑的解释,107-131[Zbl 1439.03052号]
Sebastian红杉-Grayson,认识关联和认识行为,133-146[Zbl 1439.03053号]
罗斯·T·布雷迪。,将内容与信息进行比较,147-159[Zbl 1439.03049号]
海因里希·瓦辛,关于分裂否定、强否定、信息、伪造和验证,161-189[Zbl 1439.03057号]
雅罗斯拉夫·什兰科《真理、谎言、信息及其他:191-212年美国广义计划》[Zbl 1439.03054号]
周春来,具有矛盾信息的证据推理的逻辑基础,213-246[Zbl 1439.03061号]
Janusz Czelakowski,谓词的概率解释,247-278[Zbl 1439.03058号]
赫里萨菲斯·哈托纳斯,《无分布广义伽罗瓦逻辑中不完全信息的推理:否定和模态算子的情况》,279-312[Zbl 1439.03050号]
罗伯特·戈德布拉特(Robert Goldblatt);马特·格莱斯,半拓扑空间的半紧性和对偶性,313-330[Zbl 1439.03023号]
杰拉德·奥尔文;威廉·哈里森。,分布式模态逻辑,331-362[Zbl 1439.03043号]
约翰·范·本特姆,跟踪信息,363-389[Zbl 1439.03042号]
劳伦斯·莫斯。,具有基数比较的Syllost逻辑,391-415[Zbl 1439.03070号]
J.Michael Dunn,对我的“批评者”的“回复”,417-434[Zbl 1439.03009号]
J.Michael Dunn,一个穿着哲学家服装的工程师,xvii-xxxii[兹比尔1439.01055]
Bimbó,Katalin(编辑),J.Michael Dunn的出版物,xxxv-xliii[Zbl 1439.01049号]

理学硕士:

03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
00B30型 费斯特施里夫滕
03B70号 计算机科学中的逻辑
03B45号 模态逻辑(包括规范逻辑)
68季度xx 计算理论
00B15号机组 杂项特定利益物品的收集
01A70号 传记、讣告、个人信息、参考书目

传记参考:

J.Michael Dunn
PDF格式BibTeX公司 XML格式引用
全文: 内政部