贾纳斯·Czelakowski(编辑) 唐·皮戈齐(Don Pigozzi):抽象代数逻辑、泛代数和计算机科学。 (英语) Zbl 1390.03005号 对逻辑的杰出贡献16.商会:施普林格出版社(ISBN 978-3-319-74771-2/hbk;978-3-319-74772-9/ebook)。xxxii,454页。(2018). 将索引文章显示为搜索结果。 出版商描述:这本书在唐·皮戈齐80岁生日之际庆祝他的作品。除了主要专家及其弟子撰写的文章外,它还介绍了皮戈齐的科学成果,并讨论了他对科学发展的影响。这本书不仅对他的作品进行了分类,还对皮戈齐作为一个人的情况进行了广泛的描述,勾勒出了最重要的事件,这些事件不仅与他的科学活动有关,也与他的个人生活有关。它反映了Pigozzi对抽象代数逻辑(AAL)、泛代数和计算机科学等领域的兴起和发展的贡献,并介绍了新的科学成果。一些论文还介绍了与他所贡献学科的发展有关的按时间顺序排列的事实,尤其是抽象代数逻辑。这本书为科学历史学家,特别是那些对数学和逻辑史感兴趣的人提供了宝贵的原始资料。本卷的文章将单独进行审查。索引文章:皮戈齐,唐,数学生活,1-51[Zbl 1396.03003号]雨果·阿尔伯克基;字体,Josep Maria;拉蒙·詹萨纳;托马索·莫拉希尼断言逻辑、真方程逻辑和抽象代数逻辑的层次结构,53-79[Zbl 1459.03099号]谢尔盖·巴本尼舍夫,演绎分离定理和Gentzen式演绎系统,81-101[Zbl 1459.03100号]克利福德·伯格曼,介绍布尔半格,103-130[Zbl 1459.03097号]贾纳斯·Czelakowski,二元代数生成的拟簇中的等式定义交换子,131-165[Zbl 1459.03035号]伊莎贝尔·费雷里姆(Isabel Ferreirim);马丁斯(Manuel A.Martins)。,隐藏逻辑的简要概述,167-201[Zbl 1459.03101号]亚历山大·卡兹达;马钦·科齐克(Marcin Kozik);拉尔夫·麦肯齐(Ralph McKenzie);马修·摩尔,吸收和定向Jónsson项,203-220[Zbl 1459.08005号]Keith A.Kearnes。,模的相对同余模拟变种,221-232[Zbl 1459.08008号]乔治·麦克纳尔蒂。,确定有限代数是否生成最小变化的计算复杂性,233-256[Zbl 1459.08007号]卡塔兹纳州帕阿辛斯卡,原代数-演绎系统的特征,257-271[Zbl 1459.03102号]安娜·B·罗曼诺夫斯卡。;乔纳森·史密斯。,图解对偶,273-295[Zbl 1459.03105号]安东尼诺·萨利布拉;安东尼奥·莱达(Antonio Ledda);弗朗西斯科·保利,代数通过二元多项式的布尔积表示,297-321[Zbl 1459.06011号]马修·斯宾克斯(Matthew Spinks);罗伯特·韦洛夫,具有强否定作为无收缩相关逻辑的准一致构造逻辑,323-379[Zbl 1406.03045号]沃尔特·泰勒,有限维紧Hausdorff拓扑代数的可能分类,381-420[Zbl 1402.22001年]乔治·沃萨达基斯,范畴抽象代数逻辑:相容算子和对应定理,421-454[Zbl 1459.03103号] 引用于1文件 MSC公司: 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 03G27号 抽象代数逻辑 03G25号 与逻辑相关的其他代数 03B22号 抽象演绎系统 03B70号 计算机科学中的逻辑 03C05号机组 模型理论中的方程类、泛代数 08B05号 等式逻辑,Mal'tsev条件 08C15年 准变种 00B25型 杂项特定利益的会议记录 传记参考文献: 唐·皮戈齐 PDF格式BibTeX公司 XML格式引用 \textit{J.Czelakowski}(编辑),Don Pigozzi,关于抽象代数逻辑、泛代数和计算机科学。查姆:施普林格(2018;Zbl 1390.03005) 全文: 内政部 链接