Willem Blok's Contribution to Abstract Algebraic Logic

Ramon Jansana

首页> 外文期刊>Studia Logica >Willem Blok's Contribution to Abstract Algebraic Logic

【24h】

Willem Blok's Contribution to Abstract Algebraic Logic

机译：威廉·布洛克（Willem Blok）对抽象代数逻辑的贡献

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Willem Blok was one of the founders of the field Abstract Algebraic Logic. The paper describes his research in this field.

机译：威廉·布洛克（Willem Blok）是“抽象代数逻辑”领域的创始人之一。本文介绍了他在这一领域的研究。

著录项

来源
《Studia Logica》 |2006年第3期|31-48|共18页
作者
Ramon Jansana;
展开▼
作者单位

Department of Logic History and Philosophy of Science Faculty of Philosophy University of Barcelona;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
algebraic logic; abstract algebraic logic; Willem Blok; algebraizable logics;

机译：代数逻辑;抽象代数逻辑;Willem Blok;可代数逻辑;

相似文献

外文文献
中文文献
专利

1. Willem Blok's Work in Algebraic Logic [J] . James G. Raftery Studia Logica . 2004,第2期

机译：威廉·勃洛克的代数逻辑著作
2. Willem Blok and Modal Logic [J] . W. Rautenberg, M. Zakharyaschev, F. Wolter Studia Logica . 2006,第1a3期

机译：威廉布洛克和模态逻辑
3. Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties [J] . George Voutsadakis Order . 2006,第4期

机译：分类抽象代数逻辑：有序方程逻辑和可代数PoVarieties
4. Ideal Related Algebras and Their Logics Extended Abstract [C] . Ivo Duentsch, Wojciech Dzik International Conference on Logic and Argumentation . 2020

机译：理想相关代数及其逻辑扩展摘要
5. A STUDY OF THE CONTRIBUTIONS OF EARLY NINETEENTH CENTURY BRITISH MATHEMATICIANS TO THE DEVELOPMENT OF ABSTRACT ALGEBRA AND THEIR INFLUENCE ON LATER ALGEBRAISTS AND MODERN SECONDARY CURRICULA. [D] . PICCOLINO, ANTHONY VICTOR. 1984

机译：十九世纪初英国数学家对抽象代数发展的贡献及其对以后代数和现代中学课程的影响的研究。
6. Real-Time Algebraic Derivative Estimations Using a Novel Low-Cost Architecture Based on Reconfigurable Logic [O] . Rafael Morales, Fernando Rincón, Julio Dondo Gazzano, 2014

机译：基于可重构逻辑的新型低成本体系结构的实时代数导数估计
7. Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems [O] . George Voutsadakis, To Don Pigozzi, Kate Pa =lasińska 2005

机译：分类抽象代数逻辑：部分有序代数系统
8. Process Algebra with Guards: Combining Hoare Logic with Process Algebra [R] . Groote, J. F., Ponse, A. 1990

机译：带守卫的过程代数：将Hoare逻辑与过程代数相结合

Willem Blok's Contribution to Abstract Algebraic Logic

摘要

著录项

相似文献

相关主题

期刊订阅