Willem Blok's contribution to Abstract Algebraic Logic

被引:1
|
作者
Jansana R. [1 ]
机构
[1] Department of Logic, History and Philosophy of Science, Faculty of Philosophy, University of Barcelona, E-08028 Barcelona, Baldiri Reixach, s/n
关键词
Abstract algebraic logic; Algebraic logic; Algebraizable logics; Willem Blok;
D O I
10.1007/s11225-006-8297-1
中图分类号
学科分类号
摘要
Willem Blok was one of the founders of the field Abstract Algebraic Logic. The paper describes his research in this field. © Springer 2006.
引用
收藏
页码:31 / 48
页数:17
相关论文
共 50 条
  • [1] Willem Blok's Work in Algebraic Logic
    James G. Raftery
    Studia Logica, 2004, 76 (2) : 155 - 160
  • [2] Willem Blok and modal logic
    Rautenberg W.
    Zakharyaschev M.
    Wolter F.
    Studia Logica, 2006, 83 (1-3) : 15 - 30
  • [3] Abstract algebraic logic
    Pigozzi, D
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 8 - 16
  • [4] WHAT IS ABSTRACT ALGEBRAIC LOGIC?
    Rivieccio, Umberto
    EPISTEMOLOGIA, 2009, 32 (02): : 255 - 278
  • [5] A Survey of Abstract Algebraic Logic
    J. M. Font
    R. Jansana
    D. Pigozzi
    Studia Logica, 2003, 74 (1-2) : 13 - 97
  • [6] Categorical Abstract Algebraic Logic: Referential Algebraic Semantics
    Voutsadakis, George
    STUDIA LOGICA, 2013, 101 (04) : 849 - 899
  • [7] Categorical Abstract Algebraic Logic: (ℐ,N)-Algebraic Systems
    George Voutsadakis
    Applied Categorical Structures, 2005, 13 : 265 - 280
  • [8] Willem (Wim) Johannes Blok - In memoriam
    Pigozzi, Don
    LOGIC JOURNAL OF THE IGPL, 2005, 13 (06) : 614 - 614
  • [9] Categorical Abstract Algebraic Logic: Algebraic Semantics for π-Institutions
    Voutsadakis, George
    MATHEMATICAL LOGIC QUARTERLY, 2013, 59 (03) : 177 - 200
  • [10] Categorical Abstract Algebraic Logic: Referential Algebraic Semantics
    George Voutsadakis
    Studia Logica, 2013, 101 : 849 - 899