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 条
  • [31] MICROCOMPUTER-BASED PAYLOAD CHECKOUT SYSTEM.
    Pal, S.
    Misra, R.N.
    Acharya, Y.B.
    IETE Journal of Research, 1983, 29 (05) : 210 - 214
  • [32] A NEW MICROCOMPUTER-BASED ECG ANALYSIS SYSTEM
    KYLE, MC
    KLINGEMAN, JD
    CONRAD, JD
    FREIS, ED
    PIPBERGER, HV
    CLINICAL CARDIOLOGY, 1983, 6 (09) : 447 - 455
  • [33] A MICROCOMPUTER-BASED ANNUAL RING MEASUREMENT SYSTEM
    JORDAN, GA
    BALLANCE, RH
    FORESTRY CHRONICLE, 1983, 59 (01): : 21 - 25
  • [34] MICROCOMPUTER-BASED INTELLIGENT SYSTEM FOR POTENTIOMETRIC ANALYSIS
    XIANG, XO
    ZHU, YZ
    XIN, Z
    ANALYTICA CHIMICA ACTA, 1992, 258 (01) : 33 - 45
  • [35] A MICROCOMPUTER-BASED DIFFERENTIAL LUNG VENTILATION SYSTEM
    EAST, TD
    WESTENSKOW, DR
    PACE, NL
    NELSON, LD
    IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, 1982, 29 (11) : 736 - 740
  • [36] A MICROCOMPUTER-BASED IMAGE-ANALYSIS SYSTEM
    LANCET, D
    ISRAEL JOURNAL OF MEDICAL SCIENCES, 1982, 18 (06): : 12 - 12
  • [37] MICROCOMPUTER-BASED SYSTEM FOR CLINICAL GAIT STUDIES
    BEGG, RK
    WYTCH, R
    HUTCHISON, JMS
    WARDLAW, D
    CLINICAL BIOMECHANICS, 1991, 6 (03) : 168 - 172
  • [38] A MICROCOMPUTER-BASED FARM MANAGEMENT/OPERATING SYSTEM
    GAUTHIER, L
    KOK, R
    CANADIAN AGRICULTURAL ENGINEERING, 1988, 30 (01): : 69 - 76
  • [39] A MICROCOMPUTER-BASED AUDIO DIGITAL DELAY SYSTEM
    TAN, BTG
    ONG, TH
    APPLIED ACOUSTICS, 1988, 25 (04) : 243 - 268
  • [40] Microcomputer-based system for monitoring motor activity
    Johnson, H.R.
    Ward, L.C.
    Jones, L.C.
    Medical and Biological Engineering and Computing, 1990, 28 (01): : 74 - 76
12345