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 条
  • [31] THE SYNTHESIS OF PYRIMIDO[4,5-B][1,4]DIAZOCINES AND PYRIDO[2,3-B][1,4]DIAZOCINES
    THOMPSON, MD
    JOURNAL OF HETEROCYCLIC CHEMISTRY, 1986, 23 (05) : 1545 - 1549
  • [32] IMIDAZO (2,1,-B) (1,3,4) OXADIZOLES
    HETZHEIM, A
    ZEITSCHRIFT FUR CHEMIE, 1969, 9 (09): : 337 - &
  • [33] Synthesis and antiviral activity of novel [1,2,4]triazolo[3,4b][1,3,4]thiadiazoles, [1,2,4]triazolo[3,4-b][1,3,4]thiadiazines and [1,2,4]triazolo[3,4-b][1,3,4]thiadiazepines
    Farghaly, Abdel-Rahman
    De Clercq, Erik
    El-Kashef, Hussein
    ARKIVOC, 2006, : 137 - 151
  • [34] ISOLATION OF THE INTERMEDIATES AND IMPROVED SYNTHESIS OF PYRIDO[1',2'/1,2]IMIDAZOL[4,5-B]PYRAZINES AND PYRIDO[1',2'/1,2]IMIDAZOL]4,5-B]QUINOXALINES
    KATOH, A
    UEDA, SH
    OHKANDA, J
    HIROTA, M
    KOMINE, H
    MITSUHASHI, K
    HETEROCYCLES, 1992, 34 (10) : 1965 - 1972
  • [35] Untethered 4,1,2-MC2B10 supraicosahedral metallacarboranes, their C, C′-dimethyl 4,1,6-, 4,1,8-and 4,1,12-MC2B10 analogues, and DFT study of the (4,) 1,2-to (4,) 1,6-isomerisations of C2B11 carboranes and MC2B10 metallacarboranes
    McAnaw, Amelia
    Lopez, Maria Elena
    Scott, Greig
    Ellis, David
    McKay, David
    Rosair, Georgina M.
    Welch, Alan J.
    DALTON TRANSACTIONS, 2012, 41 (36) : 10957 - 10969
  • [36] Notes on symplectic 4-manifolds with b(2)(+)=1 .2.
    Ohta, H
    Ono, K
    INTERNATIONAL JOURNAL OF MATHEMATICS, 1996, 7 (06) : 755 - 770
  • [37] The diophantine equation b2X4-dY2=1
    Bennett, MA
    Walsh, G
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1999, 127 (12) : 3481 - 3491
  • [38] Thermochemical Properties of [1,2,4]Triazolo[4,3-b]-[1,2,4,5]tetrazine Derivatives
    T. S. Konkova
    Yu. N. Matyushin
    E. A. Miroshnichenko
    A. B. Vorobev
    N. V. Palysaeva
    A. B. Sheremetev
    Russian Journal of Physical Chemistry B, 2020, 14 : 69 - 72
  • [39] CARBODIIMIDE-MEDIATED ANNELATION OF A [1,2,4]TRIAZOLE RING INTO A HETEROCYCLIC RING - SYNTHESIS OF [1,2,4]TRIAZOLO[4,3-B]-TRIAZOLE, IMIDAZO[1,2-B] [1,2,4]TRIAZOLE AND [1,2,4]TRIAZOLO-[1,5-D] [1,2,4]TRIAZINE DERIVATIVES
    MOLINA, P
    ALAJARIN, M
    FERAO, A
    LORENZO, A
    VILAPLANA, MJ
    ALLER, E
    PLANES, J
    HETEROCYCLES, 1988, 27 (01) : 161 - 171
  • [40] Thermochemical Properties of [1,2,4]Triazolo[4,3-b]-[1,2,4,5]tetrazine Derivatives
    Konkova, T. S.
    Matyushin, Yu. N.
    Miroshnichenko, E. A.
    Vorobev, A. B.
    Palysaeva, N. V.
    Sheremetev, A. B.
    RUSSIAN JOURNAL OF PHYSICAL CHEMISTRY B, 2020, 14 (01) : 69 - 72
12345