EXPRESSIBILITY OF PROPERTIES OF RELATIONS

被引：2

作者：

ANDREKA, H

DUNTSCH, I

NEMETI, I

机构：

[1] UNIV ULSTER,SCH INFORMAT & SOFTWARE ENGN,JORDANSTOWN BT37 0QB,NORTH IRELAND

[2] ACAD SCI BUDAPEST,MATH INST,H-1363 BUDAPEST,HUNGARY

来源：

JOURNAL OF SYMBOLIC LOGIC | 1995年 / 60卷 / 03期

关键词：

D O I：

10.2307/2275768

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We investigate in an algebraic setting the question of which logical languages can express the properties integral, permutational, and rigid for algebras of relations.

引用

页码：970 / 991

页数：22

共 19 条

[1]

ANDREKA H, 1992, MICH MATH J, V39, P371

[2]

ANDREKA H, 1995, IN PRESS MATH LOGIC

[3]

ANDREKA H, 1988, REPRESENTATIONS SMAL

[4] PROPERTIES OF ALMOST ALL GRAPHS AND COMPLEXES [J].

BLASS, A ;

HARARY, F .

JOURNAL OF GRAPH THEORY, 1979, 3 (03) :225-240

[5]

Chang Chen Chung, 1971, MODEL THEORY

[6]

COMPTON KJ, 1988, ALGORITHMS ORDER

[7] A MICROCOMPUTER-BASED SYSTEM FOR SMALL RELATION ALGEBRAS [J].

DUNTSCH, I .

JOURNAL OF SYMBOLIC COMPUTATION, 1994, 18 (01) :83-86

[8]

FAGIN R, 1992, RJ9225 RES REP

[9]

FAGIN R, 1987, SPRINGER LECT NOTES, V470, P3

[10]

Henkin L, 1985, CYLINDRIC ALGEBRAS 2

← 1 2 →