The Power of Belnap: Sequent Systems for SIXTEEN3

被引：0
|
作者：
Heinrich Wansing
机构：
[1] Dresden University of Technology,Institute of Philosophy
来源：
Journal of Philosophical Logic | 2010年 / 39卷
关键词：
Belnap and Dunn’s four-valued logic; Bilattice ; Trilattice ; Generalized truth values; Truth entailment; Falsity entailment; Twist-structures; Sequent calculi;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The trilattice \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\textit{SIXTEEN}_3$\end{document} is a natural generalization of the well-known bilattice \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\textit{FOUR}_2$\end{document}. Cut-free, sound and complete sequent calculi for truth entailment and falsity entailment in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\textit{SIXTEEN}_3$\end{document} are presented.
引用
收藏
页码：369 / 393
页数：24
相关论文
共 50 条
  • [1] The Power of Belnap: Sequent Systems for SIXTEEN3
    Wansing, Heinrich
    JOURNAL OF PHILOSOPHICAL LOGIC, 2010, 39 (04) : 369 - 393
  • [2] Analytic Tableaux for all of SIXTEEN3
    Reinhard Muskens
    Stefan Wintein
    Journal of Philosophical Logic, 2015, 44 : 473 - 487
  • [3] SIXTEEN3 in Light of Routley Stars
    Omori, Hitoshi
    Skurt, Daniel
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 516 - 532
  • [4] On the specification of sequent systems
    Pimentel, E
    Miller, D
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3835 : 352 - 366
  • [5] Gentzen-Type Sequent Calculi for Extended Belnap–Dunn Logics with Classical Negation: A General Framework
    Norihiro Kamide
    Logica Universalis, 2019, 13 : 37 - 63
  • [6] Gentzen-Type Sequent Calculi for Extended Belnap-Dunn Logics with Classical Negation: A General Framework
    Kamide, Norihiro
    LOGICA UNIVERSALIS, 2019, 13 (01) : 37 - 63
  • [7] The intranet at Sequent Computer Systems
    Absher, L
    Shearer, C
    14TH ANNUAL COMPUTERS IN LIBRARIES '99 PROCEEDINGS: IN COOPERATION WITH THE SPECIAL LIBRARIES ASSOCIATION, 1999, : 1 - 2
  • [8] Sequent Systems on Undirected Graphs
    Acclavio, Matteo
    AUTOMATED REASONING, IJCAR 2024, PT II, 2024, 14740 : 216 - 236
  • [9] Sequent Systems for Negative Modalities
    Lahav, Ori
    Marcos, Joao
    Zohar, Yoni
    LOGICA UNIVERSALIS, 2017, 11 (03) : 345 - 382
  • [10] Sequent Systems for Negative Modalities
    Ori Lahav
    João Marcos
    Yoni Zohar
    Logica Universalis, 2017, 11 : 345 - 382
12345