Abstract algebraic logic

被引：0
|
作者：
Pigozzi, D [1 ]
机构：
[1] Iowa State Univ, Dept Math, Ames, IA 50011 USA
来源：
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY | 1999年 / 1548卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The classical method of associating; a class of algebras with a logical system is that of Lindenbaum and Tarski. It can be applied to any system with a biconditional <-> that is compositional in the sense that it defines a congruence relation on the absolutely free algebra of formulas. The method has been abstracted to provide effective criteria for the algebraizability of a large class of formal systems. One consequence of this work is a uniform method of providing a formal system with algebraic semantics. The main features of the theory of abstract algebraic logic and one of its potential applications are surveyed.
引用
收藏
页码：8 / 16
页数：9
相关论文
共 50 条
  • [1] WHAT IS ABSTRACT ALGEBRAIC LOGIC?
    Rivieccio, Umberto
    EPISTEMOLOGIA, 2009, 32 (02): : 255 - 278
  • [2] A Survey of Abstract Algebraic Logic
    J. M. Font
    R. Jansana
    D. Pigozzi
    Studia Logica, 2003, 74 (1-2) : 13 - 97
  • [3] Categorical Abstract Algebraic Logic: Referential Algebraic Semantics
    Voutsadakis, George
    STUDIA LOGICA, 2013, 101 (04) : 849 - 899
  • [4] Categorical Abstract Algebraic Logic: (ℐ,N)-Algebraic Systems
    George Voutsadakis
    Applied Categorical Structures, 2005, 13 : 265 - 280
  • [5] Categorical Abstract Algebraic Logic: Algebraic Semantics for π-Institutions
    Voutsadakis, George
    MATHEMATICAL LOGIC QUARTERLY, 2013, 59 (03) : 177 - 200
  • [6] Categorical Abstract Algebraic Logic: Referential Algebraic Semantics
    George Voutsadakis
    Studia Logica, 2013, 101 : 849 - 899
  • [7] Amalgamation and interpolation in abstract algebraic logic
    Czelakowski, J
    Pigozzi, D
    MODELS, ALGEBRAS, AND PROOFS, 1999, 203 : 187 - 265
  • [8] Update to "a survey of abstract algebraic logic"
    Font J.M.
    Jansana R.
    Pigozzi D.
    Studia Logica, 2009, 91 (1) : 125 - 130
  • [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