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 条

[1] Amalgamation and Robinson property in universal algebraic logic
Gyenis, Zalan
Ozturk, Ovge
LOGIC JOURNAL OF THE IGPL, 2024, 32 (01) : 180 - 196
[2] Amalgamation and interpolation in abstract algebraic logic
Czelakowski, J
Pigozzi, D
MODELS, ALGEBRAS, AND PROOFS, 1999, 203 : 187 - 265
[3] Amalgamation, interpolation and epimorphisms in algebraic logic
Madarasz, Judit
Sayed-Ahmed, Tarek
ALGEBRA UNIVERSALIS, 2007, 56 (02) : 179 - 210
[4] Amalgamation, interpolation and epimorphisms in algebraic logic
Judit Madárasz
Tarek Sayed-Ahmed
Algebra universalis, 2007, 56 : 179 - 210
[5] Amalgamation theorems in algebraic logic, an overview
Sayed-Ahmed, Tarek
LOGIC JOURNAL OF THE IGPL, 2005, 13 (03) : 277 - 286
[6] Some results on amalgamation in algebraic logic
Ahmed, Tarek Sayed
LOGIC JOURNAL OF THE IGPL, 2006, 14 (04) : 623 - 627
[7] Algebraic characterizations for universal fragments of logic
Elgueta, R
MATHEMATICAL LOGIC QUARTERLY, 1999, 45 (03) : 385 - 398
[8] ALGEBRAIC PROPERTIES OF THE UNIVERSAL FUNCTIONS OF THE ALGEBRA OF LOGIC
COHEN, RI
MANEV, KN
DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1978, 31 (10): : 1237 - 1240
[9] Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
Galli, A
Reyes, GE
Sagastume, M
FUZZY SETS AND SYSTEMS, 2003, 138 (01) : 3 - 23
[10] On amalgamation in algebras of logic
Ahmed T.S.
Studia Logica, 2005, 81 (1) : 61 - 77

← 1 2 3 4 5 →