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 条
  • [21] Modular Sequent Systems for Modal Logic
    Bruennler, Kai
    Strassburger, Lutz
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2009, 5607 : 152 - +
  • [22] SEQUENT SYSTEMS FOR CONSEQUENCERELATIONS OF CYCLIC LINEAR LOGICS
    Placzek, Pawel
    BULLETIN OF THE SECTION OF LOGIC, 2024, 53 (02): : 245 - 274
  • [23] Sequent model for representation of digital systems behavior
    Zakrevskij, A
    DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 3 - 10
  • [24] Proving Structural Properties of Sequent Systems in Rewriting Logic
    Olarte, Carlos
    Pimentel, Elaine
    Rocha, Camilo
    REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2018, 2018, 11152 : 115 - 135
  • [25] A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
    Tamazyan, Hakob A.
    Chubaryan, Anahit A.
    PATTERN RECOGNITION AND IMAGE ANALYSIS, 2024, 34 (01) : 20 - 30
  • [26] EVOLUTION WITHOUT REVOLUTION - SEQUENT COMPUTER-SYSTEMS
    GALBRAITH, JR
    HUMAN RESOURCE MANAGEMENT, 1985, 24 (01) : 9 - 24
  • [27] A SEQUENT CALCULUS FOR AUTOMATED REASONING IN SYMBOLIC COMPUTATION SYSTEMS
    CIONI, G
    COLAGROSSI, A
    MIOLA, A
    JOURNAL OF SYMBOLIC COMPUTATION, 1995, 19 (1-3) : 175 - 199
  • [28] Sequent Systems for Nondeterministic Propositional Logics without Reflexivity
    Kuijer, Louwe B.
    LOGIC, RATIONALITY, AND INTERACTION (LORI 2013), 2013, 8196 : 190 - 203
  • [29] Cut-free sequent systems for temporal logic
    Bruennler, Kai
    Lange, Martin
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 76 (02): : 216 - 225
  • [30] A formal framework for specifying sequent calculus proof systems
    Miller, Dale
    Pimentel, Elaine
    THEORETICAL COMPUTER SCIENCE, 2013, 474 : 98 - 116
12345