A Survey of Abstract Algebraic Logic

被引：145
|
作者：
J. M. Font
R. Jansana
D. Pigozzi
机构：
[1] University of Barcelona,Departament of Logic, History and Philosophy of Science, Faculty of Mathematics
[2] University of Barcelona,Departament of Logic, History and Philosophy of Science, Faculty of Philosophy
[3] Iowa State University,Department of Mathematics
来源：
Studia Logica | 2003年 / 74卷 / 1-2期
关键词：
Mathematical Logic; Computational Linguistic; Algebraic Logic; Abstract Algebraic Logic;
D O I：
10.1023/A:1024621922509
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：13 / 97
页数：84
相关论文
共 50 条
  • [1] Update to "a survey of abstract algebraic logic"
    Font J.M.
    Jansana R.
    Pigozzi D.
    Studia Logica, 2009, 91 (1) : 125 - 130
  • [2] Abstract algebraic logic
    Pigozzi, D
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 8 - 16
  • [3] WHAT IS ABSTRACT ALGEBRAIC LOGIC?
    Rivieccio, Umberto
    EPISTEMOLOGIA, 2009, 32 (02): : 255 - 278
  • [4] Categorical Abstract Algebraic Logic: Referential Algebraic Semantics
    Voutsadakis, George
    STUDIA LOGICA, 2013, 101 (04) : 849 - 899
  • [5] Categorical Abstract Algebraic Logic: (ℐ,N)-Algebraic Systems
    George Voutsadakis
    Applied Categorical Structures, 2005, 13 : 265 - 280
  • [6] Categorical Abstract Algebraic Logic: Algebraic Semantics for π-Institutions
    Voutsadakis, George
    MATHEMATICAL LOGIC QUARTERLY, 2013, 59 (03) : 177 - 200
  • [7] Categorical Abstract Algebraic Logic: Referential Algebraic Semantics
    George Voutsadakis
    Studia Logica, 2013, 101 : 849 - 899
  • [8] Amalgamation and interpolation in abstract algebraic logic
    Czelakowski, J
    Pigozzi, D
    MODELS, ALGEBRAS, AND PROOFS, 1999, 203 : 187 - 265
  • [9] COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC
    Albuquerque, Hugo
    Maria Font, Josep
    Jansana, Ramon
    JOURNAL OF SYMBOLIC LOGIC, 2016, 81 (02) : 417 - 462
  • [10] Categorical abstract algebraic logic:: (l, N)-algebraic systems
    Voutsadakis, G
    APPLIED CATEGORICAL STRUCTURES, 2005, 13 (03) : 265 - 280
12345