Sequent calculi for visser’s propositional logics

Katsumasa Ishii; Ryo Kashima; Kentaro Kikuchi

doi:10.1305/ndjfl/1054301352

Sequent calculi for visser’s propositional logics

Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi

Systems & Software Division

Research output: Contribution to journal › Article › peer-review

5 Citations (Scopus)

Abstract

This paper introduces sequent systems for Visser’s two propositional logics: Basic Propositional Logic (BPL) and Formal Propositional Logic (FPL). It is shown through semantical completeness that the cut rule is admissible in each system. The relationships with Hilbert-style axiomatizations and with other sequent formulations are discussed. The cut-elimination theorems are also demonstrated by syntactical methods.

Original language	English
Pages (from-to)	1-22
Number of pages	22
Journal	Notre Dame Journal of Formal Logic
Volume	42
Issue number	1
DOIs	https://doi.org/10.1305/ndjfl/1054301352
Publication status	Published - 2001

Keywords

Cut-elimination
Kripke semantics
Sequent calculus

ASJC Scopus subject areas

Logic

Access to Document

10.1305/ndjfl/1054301352

Fingerprint Dive into the research topics of 'Sequent calculi for visser’s propositional logics'. Together they form a unique fingerprint.

Cite this

@article{fcd52508996749aeb51f0a3f865b240c,

title = "Sequent calculi for visser{\textquoteright}s propositional logics",

abstract = "This paper introduces sequent systems for Visser{\textquoteright}s two propositional logics: Basic Propositional Logic (BPL) and Formal Propositional Logic (FPL). It is shown through semantical completeness that the cut rule is admissible in each system. The relationships with Hilbert-style axiomatizations and with other sequent formulations are discussed. The cut-elimination theorems are also demonstrated by syntactical methods.",

keywords = "Cut-elimination, Kripke semantics, Sequent calculus",

author = "Katsumasa Ishii and Ryo Kashima and Kentaro Kikuchi",

year = "2001",

doi = "10.1305/ndjfl/1054301352",

language = "English",

volume = "42",

pages = "1--22",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "Duke University Press",

number = "1",

}

TY - JOUR

T1 - Sequent calculi for visser’s propositional logics

AU - Ishii, Katsumasa

AU - Kashima, Ryo

AU - Kikuchi, Kentaro

PY - 2001

Y1 - 2001

N2 - This paper introduces sequent systems for Visser’s two propositional logics: Basic Propositional Logic (BPL) and Formal Propositional Logic (FPL). It is shown through semantical completeness that the cut rule is admissible in each system. The relationships with Hilbert-style axiomatizations and with other sequent formulations are discussed. The cut-elimination theorems are also demonstrated by syntactical methods.

AB - This paper introduces sequent systems for Visser’s two propositional logics: Basic Propositional Logic (BPL) and Formal Propositional Logic (FPL). It is shown through semantical completeness that the cut rule is admissible in each system. The relationships with Hilbert-style axiomatizations and with other sequent formulations are discussed. The cut-elimination theorems are also demonstrated by syntactical methods.

KW - Cut-elimination

KW - Kripke semantics

KW - Sequent calculus

UR - http://www.scopus.com/inward/record.url?scp=34447539019&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34447539019&partnerID=8YFLogxK

U2 - 10.1305/ndjfl/1054301352

DO - 10.1305/ndjfl/1054301352

M3 - Article

AN - SCOPUS:34447539019

VL - 42

SP - 1

EP - 22

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

SN - 0029-4527

IS - 1

ER -