Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic

被引：0
|
作者：
Norihiro Kamide
Yoni Zohar
机构：
[1] Teikyo University,Department of Information and Electronic Engineering Faculty of Science and Engineering
[2] Stanford University,Computer Science Department
来源：
Studia Logica | 2020年 / 108卷
关键词：
Ideal paraconsistent four-valued logic; 4CC; Completeness theorem; Cut-elimination theorem;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this study, we prove the completeness and cut-elimination theorems for a first-order extension F4CC of Arieli, Avron, and Zamansky’s ideal paraconsistent four-valued logic known as 4CC. These theorems are proved using Schütte’s method, which can simultaneously prove completeness and cut-elimination.
引用
收藏
页码：549 / 571
页数：22
相关论文
共 50 条
  • [1] Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic
    Kamide, Norihiro
    Zohar, Yoni
    STUDIA LOGICA, 2020, 108 (03) : 549 - 571
  • [2] Extending Ideal Paraconsistent Four-Valued Logic
    Kamide, Norihiro
    2017 IEEE 47TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2017), 2017, : 49 - 54
  • [3] Finite Model Property for Modal Ideal Paraconsistent Four-valued Logic
    Kamide, Norihiro
    Zohar, Yoni
    2019 IEEE 49TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL), 2019, : 120 - 125
  • [4] Modal extension of ideal paraconsistent four-valued logic and its subsystem
    Kamide, Norihiro
    Zohar, Yoni
    ANNALS OF PURE AND APPLIED LOGIC, 2020, 171 (10)
  • [5] The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
    Oda, Yukihiro
    Brotherston, James
    Tatsuta, Makoto
    JOURNAL OF LOGIC AND COMPUTATION, 2023,
  • [6] CUT-ELIMINATION, COMPLETENESS, AND CRAIG INTERPOLATION THEOREMS FOR GUREVICH'S EXTENDED FIRST-ORDER INTUITIONISTIC LOGIC WITH STRONG NEGATION
    Kamide, Norihiro
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (05): : 1101 - 1121
  • [7] Cut-elimination, completeness, and craig interpolation theorems for gurevich’s extended first-order intuitionistic logic with strong negation
    Kamide, Norihiro
    Journal of Applied Logics, 2021, 8 (05): : 1101 - 1121
  • [8] Paraconsistent Logic Programs with Four-Valued Rough Sets
    Maluszynski, Jan
    Szalas, Andrzej
    Vitoria, Aida
    ROUGH SETS AND CURRENT TRENDS IN COMPUTING, PROCEEDINGS, 2008, 5306 : 41 - +
  • [9] COMPLETENESS AND CUT-ELIMINATION IN INTUITIONISTIC TYPE LOGIC
    OSSWALD, H
    MANUSCRIPTA MATHEMATICA, 1972, 6 (01) : 17 - &
  • [10] On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4
    Antunes, Henrique
    Rodrigues, Abilio
    JOURNAL OF PHILOSOPHICAL LOGIC, 2025, 54 (01) : 169 - 195
12345