Completeness of Subtrilattice Logic

被引：0
|
作者：
Kamide, Norihiro [1 ]
机构：
[1] Teikyo Univ, Dept Informat & Elect Engn, Toyosatodai 1-1, Utsunomiya, Tochigi 3208551, Japan
来源：
2020 IEEE 50TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2020) | 2020年
关键词：
CUT-ELIMINATION; TRILATTICE;
D O I：
10.1109/ISMVL49045.2020.00059
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this study, a new trilattice logic called subtrilattice logic (STL) is introduced in the form of a monosequent calculus, which is based on a restricted sequent that contains exactly one formula in both the antecedent and the succedent. Further, the completeness (with respect to the lattice-valued semantics), cut-elimination, decidability, and Craig interpolation theorems for STL are proved using an embedding-based technique.
引用
收藏
页码：279 / 284
页数：6
相关论文
共 50 条
  • [1] On Completeness of Logic Programs
    Drabent, Wlodzimierz
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 261 - 278
  • [2] Completeness of neighbourhood logic
    Barua, R
    Roy, S
    Zhou, CC
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2000, 10 (02) : 271 - 295
  • [3] Proving completeness by logic
    Escoffier, B
    Paschos, VT
    [J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2005, 82 (02) : 151 - 161
  • [4] COMPLETENESS OF QUANTUM LOGIC
    STACHOW, EW
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1976, 5 (02) : 237 - 280
  • [5] COMPLETENESS OF AN ANCIENT LOGIC
    CORCORAN, J
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (04) : 696 - 702
  • [6] COMPLETENESS IN LOGIC OF QUESTIONS
    HARRAH, D
    [J]. AMERICAN PHILOSOPHICAL QUARTERLY, 1969, 6 (02) : 158 - 164
  • [7] Completeness for Game Logic
    Enqvist, Sebastian
    Hansen, Helle Hvid
    Kupke, Clemens
    Marti, Johannes
    Venema, Yde
    [J]. 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
  • [8] On the Completeness of Dynamic Logic
    Leivant, Daniel
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 : 78 - 91
  • [9] COMPLETENESS OF FREE LOGIC
    VANFRAAS.BC
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1966, 12 (03): : 219 - &
  • [10] Completeness of neighbourhood logic
    Barua, R
    Roy, S
    Zhou, CC
    [J]. STACS'99 - 16TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1999, 1563 : 521 - 530
12345