AMALGAMATION IN UNIVERSAL ALGEBRAIC LOGIC

被引：1
|
作者：
Ahmed, Tarek Sayed [1 ]
机构：
[1] Cairo Univ, Fac Sci, Dept Math, Giza, Egypt
来源：
STUDIA SCIENTIARUM MATHEMATICARUM HUNGARICA | 2012年 / 49卷 / 01期
关键词：
Algebraic logic; neat reducts; super amalgamation; PART I; REDUCTS;
D O I：
10.1556/SScMath.2011.1184
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Let (K-alpha : alpha >= omega) be a system of varieties definable by schemas. We characterize the amalgamation base, strong amalgamation base, and super amalgamation base of the class Snr(alpha)K(alpha+omega), at this abstract level.
引用
收藏
页码：26 / 43
页数：18
相关论文
共 50 条
  • [21] FINITARY ALGEBRAIC LOGIC
    MADDUX, RD
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (04): : 321 - 332
  • [22] Abstract algebraic logic
    Pigozzi, D
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 8 - 16
  • [23] A logic for algebraic effects
    Plotkin, Gordon
    Pretnar, Matija
    TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2008, : 118 - 129
  • [24] 2 THEOREMS IN THEORY OF UNIVERSAL CLASSES WITH AMALGAMATION PROPERTY
    FORREST, W
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (02): : A289 - A289
  • [25] ALGEBRAIC AND GEOMETRIC LOGIC
    ELLINGSO.T
    PHILOSOPHY EAST & WEST, 1974, 24 (01): : 23 - 40
  • [26] Algebraic Neighbourhood Logic
    Hoefner, Peter
    Moeller, Bernhard
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 76 (01): : 35 - 59
  • [27] Algebraic separation logic
    Dang, H. -H.
    Hoefner, P.
    Moeller, B.
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (06): : 221 - 247
  • [28] AN INTRODUCTION TO ALGEBRAIC LOGIC
    PIERCE, RS
    JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 270 - &
  • [29] Amalgamation of neural networks and fuzzy logic systems - a survey
    Chih-Ting Du, Timon
    Wolfe, Philip M.
    Computers and Industrial Engineering, 1995, 29 (1-4): : 193 - 197
  • [30] Clausal logic and logic programming in algebraic domains
    Rounds, WC
    Zhang, GQ
    INFORMATION AND COMPUTATION, 2001, 171 (02) : 183 - 200
12345