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
相关论文
共 50 条
  • [1] A MICROCOMPUTER-BASED CONDUCTING SYSTEM
    BUXTON, W
    REEVES, W
    FEDORKOW, G
    SMITH, KC
    BAECKER, R
    COMPUTER MUSIC JOURNAL, 1980, 4 (01) : 8 - 21
  • [2] MICROCOMPUTER-BASED BIOFEEDBACK SYSTEM
    SOKHADZE, EM
    SHTARK, MB
    SHULMAN, EI
    VESTNIK AKADEMII MEDITSINSKIKH NAUK SSSR, 1989, (03): : 75 - 83
  • [3] A SMALL LABORATORY AUTOMATION SYSTEM COMPOSED OF MICROCOMPUTER-BASED SPECTROPHOTOMETERS
    SUSAKI, H
    MIYAMA, T
    MATSUI, S
    MINAMI, S
    APPLIED SPECTROSCOPY, 1983, 37 (06) : 502 - 508
  • [4] A MICROCOMPUTER-BASED SYSTEM FOR STEREOGRAMMETRIC ANALYSIS
    ROBERTS, SG
    PAGE, TF
    JOURNAL OF MICROSCOPY-OXFORD, 1981, 124 (OCT): : 77 - 88
  • [5] A MICROCOMPUTER-BASED SYSTEM FOR AUTOMATED MEASUREMENT
    WILSON, HD
    AMERICAN JOURNAL OF BOTANY, 1985, 72 (06) : 976 - 976
  • [6] A MICROCOMPUTER-BASED MATERIALS MANAGEMENT-SYSTEM FOR SMALL MANUFACTURING FIRMS
    RUBIN, MG
    INDUSTRIAL ENGINEERING, 1986, 18 (06): : 54 - 59
  • [7] MICROCOMPUTER-BASED DEPARTMENTAL ORDERING SYSTEM
    NORWOOD, HM
    HALL, AJ
    BRITISH JOURNAL OF RADIOLOGY, 1987, 60 (716): : 834 - 834
  • [8] A MICROCOMPUTER-BASED GENERAL PHOTOGRAMMETRIC SYSTEM
    GAGNON, PA
    AGNARD, JP
    NOLETTE, C
    BOULIANNE, M
    PHOTOGRAMMETRIC ENGINEERING AND REMOTE SENSING, 1990, 56 (05): : 623 - 625
  • [9] A MICROCOMPUTER-BASED SYSTEM FOR AREA MEASUREMENT
    SARMA, PS
    IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, 1984, 33 (03) : 168 - 171
  • [10] DESIGN OF A MICROCOMPUTER-BASED MEETINGS SYSTEM
    ALRIAHI, H
    LANIGAN, M
    MICROPROCESSORS AND MICROSYSTEMS, 1982, 6 (03) : 135 - 141
12345