A MICROCOMPUTER-BASED SYSTEM FOR SMALL RELATION ALGEBRAS

Authors
DUNTSCH I
Citation
I. Duntsch, A MICROCOMPUTER-BASED SYSTEM FOR SMALL RELATION ALGEBRAS, Journal of symbolic computation, 18(1), 1994, pp. 83-86
Citations number
7
Categorie Soggetti
Mathematics,"Computer Sciences, Special Topics",Mathematics,"Computer Science Theory & Methods
Journal title
Journal of symbolic computation → ACNP
ISSN journal
07477171
Volume
18
Issue
1
Year of publication
1994
Pages
83 - 86
Database
ISI
SICI code
0747-7171(1994)18:1<83:AMSFSR>2.0.ZU;2-V
Abstract
Algebras of n-ary relations are a useful tool in the investigation of logics with limited resources; for example, the equational logic of Ta rski'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.