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 条

[11] Categorical abstract algebraic logic: Partially ordered algebraic systems
Voutsadakis, G
APPLIED CATEGORICAL STRUCTURES, 2006, 14 (01) : 81 - 98
[12] Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems
George Voutsadakis
Applied Categorical Structures, 2006, 14 : 81 - 98
[13] Categorical abstract algebraic logic: Categorical algebraization of equational logic
Voutsadakis, George
LOGIC JOURNAL OF THE IGPL, 2004, 12 (04) : 313 - 333
[14] Categorical abstract algebraic logic: Prealgebraicity and protoalgebraicity
Voutsadakis G.
Studia Logica, 2007, 85 (2) : 215 - 249
[15] A Note on Natural Extensions in Abstract Algebraic Logic
Petr Cintula
Carles Noguera
Studia Logica, 2015, 103 : 815 - 823
[16] Categorical Abstract Algebraic Logic: Behavioral π-Institutions
George Voutsadakis
Studia Logica, 2014, 102 : 617 - 646
[17] Categorical Abstract Algebraic Logic: Equivalent Institutions
George Voutsadakis
Studia Logica, 2003, 74 (1-2) : 275 - 311
[18] CATEGORICAL ABSTRACT ALGEBRAIC LOGIC: COORDINATIZATION IS ALGEBRAIZATION
Voutsadakis, George
REPORTS ON MATHEMATICAL LOGIC, 2012, 47 : 125 - 145
[19] A Note on Natural Extensions in Abstract Algebraic Logic
Cintula, Petr
Noguera, Carles
STUDIA LOGICA, 2015, 103 (04) : 815 - 823
[20] Categorical Abstract Algebraic Logic: Algebraizable Institutions
George Voutsadakis
Applied Categorical Structures, 2002, 10 : 531 - 568

← 1 2 3 4 5 →