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 条

[41] Dimension in universal algebraic geometry
Daniyarova, E. Yu.
Myasnikov, A. G.
Remeslennikov, V. N.
DOKLADY MATHEMATICS, 2014, 90 (01) : 450 - 452
[42] AMALGAMATION PROPERTY, UNIVERSAL-HOMOGENEOUS MODELS, AND GENERIC MODELS
YASUHARA, M
MATHEMATICA SCANDINAVICA, 1974, 34 (01) : 5 - 36
[43] Preface: Is Logic Universal?
Beziau, Jean-Yves
LOGICA UNIVERSALIS, 2010, 4 (02) : 161 - 162
[44] UNIVERSAL LOGIC SEQUENCES
DAWSON, E
GOLDBURG, B
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 453 : 426 - 432
[45] A logic of universal causation
Turner, H
ARTIFICIAL INTELLIGENCE, 1999, 113 (1-2) : 87 - 123
[46] UNIVERSAL LOGIC BLOCKS
SHAY, BP
REPORT OF NRL PROGRESS, 1969, (AUG): : 10 - &
[47] Preface: Is Logic Universal?
Jean-Yves Beziau
Logica Universalis, 2010, 4 (2) : 161 - 162
[48] ULTRAMODAL LOGIC AS UNIVERSAL
ROUTLEY, R
JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (02) : 355 - 356
[49] UNIVERSAL LOGIC PRIMITIVES
KLIR, GJ
IEEE TRANSACTIONS ON COMPUTERS, 1971, C 20 (04) : 467 - &
[50] UNIVERSAL LOGIC ALGEBRA
TISON, PL
SIAM REVIEW, 1971, 13 (02) : 284 - &

← 1 2 3 4 5 →