比姆博,卡塔林(编辑) 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号] 引用于2文件 理学硕士: 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 00B30型 费斯特施里夫滕 03B70号 计算机科学中的逻辑 03B45号 模态逻辑(包括规范逻辑) 68季度xx 计算理论 00B15号机组 杂项特定利益物品的收集 01A70号 传记、讣告、个人信息、参考书目 传记参考: J.Michael Dunn PDF格式BibTeX公司 XML格式引用 \textit{K.Bimbó}(编辑),J.Michael Dunn,《基于信息的逻辑》。查姆:斯普林格(2016;Zbl 1343.03001) 全文: 内政部