A weak form of interpolation in equational logic

被引：6

作者：

Maksimova, L. L. ^{[1
]}

机构：

[1] Russian Acad Sci, Siberian Branch, Inst Math, Novosibirsk, Russia

来源：

ALGEBRA AND LOGIC | 2008年 / 47卷 / 01期

基金：

俄罗斯基础研究基金会;

关键词：

weak interpolation property; weak amalgamation; variety with congruence extension property;

D O I：

10.1007/s10469-008-0006-x

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

The notions of a weak interpolation property and of weak amalgamation are introduced. It is proved that in varieties with the congruence extension property, the weak interpolation property is equivalent to the weak amalgamation property. In turn, weak amalgamability of a variety is equivalent to amalgamability of a class of finitely generated simple algebras in this variety.

引用

页码：56 / 64

页数：9

共 50 条

[1] A weak form of interpolation in equational logic
L. L. Maksimova
Algebra and Logic, 2008, 47 : 56 - 64
[2] Interpolation in conditional equational logic
Rodenburg, P.H.
Fundamenta Informaticae, 1991, 15 (01):
[3] On a weak form of equational compactness
Laradji, A
ALGEBRA UNIVERSALIS, 1998, 39 (1-2) : 71 - 80
[4] On a weak form of equational compactness
A. Laradji
algebra universalis, 1998, 39 : 71 - 80
[5] A COMPLETENESS THEOREM FOR WEAK EQUATIONAL LOGIC
RUDAK, L
ALGEBRA UNIVERSALIS, 1983, 16 (03) : 331 - 337
[6] Restricted Interpolation and the Projective Beth Property in Equational Logic
L. L. Maksimova
Algebra and Logic, 2003, 42 (6) : 398 - 406
[7] On Deductive Interpolation for the Weak Nilpotent Minimum logic
Marchioni, Enrico
FUZZY SETS AND SYSTEMS, 2016, 292 : 318 - 332
[8] EQUATIONAL TYPE LOGIC
MANCA, V
SALIBRA, A
SCOLLO, G
THEORETICAL COMPUTER SCIENCE, 1990, 77 (1-2) : 131 - 159
[9] DECIDABILITY OF THE WEAK INTERPOLATION PROPERTY OVER THE MINIMAL LOGIC
Maksimova, L. L.
ALGEBRA AND LOGIC, 2011, 50 (02) : 106 - 132
[10] Nominal Equational Logic
Clouston, Ranald A.
Pitts, Andrew M.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 172 : 223 - 257

← 1 2 3 4 5 →