REFERENTIAL PRESUPPOSITION WITHIN BLAU,ULRICH 3-VALUED LOGIC SYSTEM

被引：0
|
作者：
MIODUSZEWSKA, E
机构：
来源：
THEORETICAL LINGUISTICS | 1984年 / 11卷 / 03期
关键词：
D O I：
10.1515/thli.1984.11.3.251
中图分类号：
H0 [语言学];
学科分类号：
030303 ; 0501 ; 050102 ;
摘要：
引用
收藏
页码：251 / 268
页数：18
相关论文
共 50 条
  • [41] Fast Garbling of Circuits over 3-Valued Logic
    Lindell, Yehuda
    Yanai, Avishay
    [J]. PUBLIC-KEY CRYPTOGRAPHY - PKC 2018, PT I, 2018, 10769 : 620 - 643
  • [42] APPLICATION OF 3-VALUED LOGIC FOR DISTRIBUTED TERMINATION DETECTION
    KAVIANPOUR, A
    BAGHERZADEH, N
    [J]. COMPUTERS & ELECTRICAL ENGINEERING, 1991, 17 (02) : 65 - 74
  • [43] SET OF PRIME CLOSING FUNCTIONS OF 3-VALUED LOGIC
    RVACHEV, VL
    TONITSA, VS
    SHKLYAROV, LI
    [J]. DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1979, (02): : 89 - 94
  • [44] 3-VALUED FORMALIZATIONS OF NONMONOTONIC REASONING AND LOGIC PROGRAMMING
    PRZYMUSINSKI, TC
    [J]. PROCEEDINGS OF THE FIRST CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 1989, : 341 - 348
  • [45] Static program analysis via 3-valued logic
    Reps, T
    [J]. STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 : 1 - 1
  • [46] A 3-VALUED SEMANTICS FOR DEDUCTIVE DATABASES AND LOGIC PROGRAMS
    YOU, JH
    YUAN, LY
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1994, 49 (02) : 334 - 361
  • [47] Implementation of 3-Valued Paraconsistent Logic Programming Towards Decision Making System of Agents
    Yuki Goto
    Megumi Fujita
    Naoyuki Nide
    [J]. Journal of Systems Science and Systems Engineering, 2018, 27 : 322 - 339
  • [48] Implementation of 3-Valued Paraconsistent Logic Programming Towards Decision Making System of Agents
    Goto, Yuki
    Fujita, Megumi
    Nide, Naoyuki
    [J]. JOURNAL OF SYSTEMS SCIENCE AND SYSTEMS ENGINEERING, 2018, 27 (03) : 322 - 339
  • [49] QUALITATIVE SPATIAL REASONING VIA 3-VALUED HETEROGENEOUS LOGIC
    Arkoudas, Konstantine
    Bringsjord, Selmer
    Khemlani, Sangeet
    [J]. KEOD 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON KNOWLEDGE ENGINEERING AND ONTOLOGY DEVELOPMENT, 2009, : 80 - +
  • [50] THE HILBERT TYPE AXIOMATIZATION OF SOME 3-VALUED PROPOSITIONAL LOGIC
    ZBRZEZNY, A
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1990, 36 (05): : 415 - 421
12345