A MICROCOMPUTER-BASED SYSTEM FOR SMALL RELATION ALGEBRAS

被引：2

作者：

DUNTSCH, I

机构：

[1] Faculty of Informatics, University of Ulster at Jordanstown, Newtonabbey, Co., Antrim

来源：

JOURNAL OF SYMBOLIC COMPUTATION | 1994年 / 18卷 / 01期

关键词：

D O I：

10.1006/jsco.1994.1037

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Algebras of n-ary relations are a useful tool in the investigation of logics with limited resources; for example, the equational logic of Tarski's relation algebras corresponds to the three variable fragment of first order logic. We present a computer system which assists in the generation and investigation of properties of relation algebras.

引用

页码：83 / 86

页数：4