The B4-valued propositional logic with unary logical connectives ~1 / ~2 /¬

被引：0
|
作者：
Wei Li
Yuefei Sui
机构：
[1] Beijing University of Aeronautics and Astronautics,State Key Laboratory of Software Development Environment
[2] Chinese Academy of Sciences,Key Laboratory of Intelligent Information Processing, Institute of Computing Technology
来源：
Frontiers of Computer Science | 2017年 / 11卷
关键词：
the Belnap logic; modality; the soundness; the completeness;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
A B4-valued propositional logic will be proposed in this paper which there are three unary logical connectives ~1, ~2, ¬ and two binary logical connectives ∧, ∨, and a Gentzen-typed deduction system will be given so that the system is sound and complete with B4-valued semantics, where B4 is a Boolean algebra.
引用
收藏
页码：887 / 894
页数：7
相关论文
共 50 条
  • [41] 3B2, 4B1 (Anti-ARVCF)
    Reynolds, A
    HYBRIDOMA, 1999, 18 (04): : 386 - 386
  • [42] HETEROARENOBENZODIAZEPINES .2. SYNTHESIS OF 4H-THIENO[2,3-B] [1,4]-BENZODIAZEPIONES, [3,2-B] [1,4]-BENZODIAZEPIONES, AND [3,4-B] [1,4]-BENZODIAZEPINONES
    CHAKRABARTI, JK
    HOTTEN, TM
    STEGGLES, DJ
    TUPPER, DE
    JOURNAL OF CHEMICAL RESEARCH-S, 1978, (11): : 428 - 429
  • [43] THE METABOLISM OF 1′- AND 4-HYDROXYMIDAZOLAM BY GLUCURONIDE CONJUGATION IS MAINLY MEDIATED BY UDP-GLUCURONOSYLTRANSFERASES 1A4, 2B4, AND 2B7
    Seo, K.
    Bae, S.
    Ghim, J.
    Choi, Y.
    Choi, C.
    Liu, K.
    Shin, J.
    CLINICAL PHARMACOLOGY & THERAPEUTICS, 2011, 89 : S19 - S19
  • [44] Metabolism of 1′- and 4-Hydroxymidazolam by Glucuronide Conjugation Is Largely Mediated by UDP-Glucuronosyltransferases 1A4, 2B4, and 2B7
    Seo, Kyung-Ah
    Bae, Soo Kyung
    Choi, Young-Kil
    Choi, Chang Soo
    Liu, Kwang-Hyeon
    Shin, Jae-Gook
    DRUG METABOLISM AND DISPOSITION, 2010, 38 (11) : 2007 - 2013
  • [45] 不等式(17)1/2＜(4a+1)1/2+(4b+1)1/2+(4c+1)1/2≤(21)1/2下界的改进
    邵祖德
    中学教研(数学), 1993, (12) : 21 - 22
  • [46] Synthesis, biological activity and molecular modeling study of novel 1,2,4-triazolo[4,3-b][1,2,4,5]tetrazines and 1,2,4-triazolo[4,3-b][1,2,4]triazines
    Ahmed A. M. El-Reedy
    N. K. Soliman
    Scientific Reports, 10
  • [47] Synthesis, biological activity and molecular modeling study of novel 1,2,4-triazolo[4,3-b][1,2,4,5]tetrazines and 1,2,4-triazolo[4,3-b][1,2,4]triazines
    El-Reedy, Ahmed A. M.
    Soliman, N. K.
    SCIENTIFIC REPORTS, 2020, 10 (01)
  • [48] SYNTHESIS OF [1,2,4]TRIAZOLO[3',4'-3,4][1,2,4]TRIAZINO[5,6-B]INDOLE, TETRAZOLO[5',1'-3,4][1,2,4]TRIAZINO[5,6-B]INDOLE AND THEIR DERIVATIVES
    YOUNES, MI
    ABBAS, HH
    METWALLY, SA
    ARCHIV DER PHARMAZIE, 1987, 320 (12) : 1191 - 1195
  • [49] DFT study on energetic tetrazolo-[1,5-b]-1,2,4,5-tetrazine and 1,2,4-triazolo-[4,3-b]-1,2,4,5-tetrazine derivatives
    Wei, Tao
    Zhu, Weihua
    Zhang, Jingjing
    Xiao, Heming
    JOURNAL OF HAZARDOUS MATERIALS, 2010, 179 (1-3) : 581 - 590
  • [50] PRAZIQUANTEL ANALOGS .2. SYNTHESIS OF 4-OXO-OCTAHYDROPYRAZINO[1',2'-1,2]PYRIDO[3,4-B]INDOLES AND 4-OXO-OCTAHYDROPYRAZINO[1',2',1,2]PYRIDO[4,3-B]INDOLES
    VALLS, N
    SEGARRA, VM
    LOPEZ, X
    BOSCH, J
    HETEROCYCLES, 1989, 29 (02) : 231 - 236
12345