ON A 3-VALUED MODEL-THEORY

被引：0
|
作者：
DOTTAVIANO, IML
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1984年 / 49卷 / 04期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：1434 / 1434
页数：1
相关论文
共 50 条
  • [21] On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief
    Koutras, Costa. D.
    Nomikos, Christos
    Peppas, Pavlos
    LOGIC JOURNAL OF THE IGPL, 2008, 16 (06) : 591 - 604
  • [22] Witness And Counter-example on 3-valued Model Checking
    Guo Jian
    Han Jungang
    Jin Naiyong
    FIFTH INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, VOL 2, PROCEEDINGS, 2008, : 633 - +
  • [23] THEORY OF α-TRUTH DEGREES IN 3-VALUED PRE-ROUGH LOGIC
    Ma, Yingcang
    Wang, Lu
    Liu, Huan
    Wang, Xiaogai
    2012 IEEE 2ND INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND INTELLIGENT SYSTEMS (CCIS) VOLS 1-3, 2012, : 936 - 940
  • [24] MODEL-THEORY OF FIELDS
    PRESTEL, A
    JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1437 - 1438
  • [25] AN APPLICABLE MODEL-THEORY
    MOORE, GR
    COMPUTER-AIDED DESIGN, 1986, 18 (07) : 393 - 394
  • [26] METHOD FOR COMBINING 3-VALUED PREDICTIONS
    SUTHERLA.WH
    OPERATIONS RESEARCH, 1974, 22 (05) : 1104 - 1109
  • [27] MONADIC FUNCTORS IN A 3-VALUED LOGIC
    SADE, AJ
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (03): : 579 - &
  • [28] NOTE ON 3-VALUED LOGIC SIMULATION
    BREUER, MA
    IEEE TRANSACTIONS ON COMPUTERS, 1972, C 21 (04) : 399 - &
  • [29] A 3-VALUED CALCULUS FOR DEONTIC LOGIC
    DAWSON, EE
    JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 278 - +
  • [30] PURE 3-VALUED LUKASIEWICZIAN IMPLICATION
    MCCALL, S
    MEYER, RK
    JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (03) : 399 - &
12345