Translator Disclaimer
2001 Sequent Calculi for Visser's Propositional Logics
Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi
Notre Dame J. Formal Logic 42(1): 1-22 (2001). DOI: 10.1305/ndjfl/1054301352

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.

Citation

Download Citation

Katsumasa Ishii. Ryo Kashima. Kentaro Kikuchi. "Sequent Calculi for Visser's Propositional Logics." Notre Dame J. Formal Logic 42 (1) 1 - 22, 2001. https://doi.org/10.1305/ndjfl/1054301352

Information

Published: 2001
First available in Project Euclid: 30 May 2003

zbMATH: 1023.03054
MathSciNet: MR1993387
Digital Object Identifier: 10.1305/ndjfl/1054301352

Subjects:
Primary: 03F05
Secondary: 03B60

Rights: Copyright © 2001 University of Notre Dame

JOURNAL ARTICLE
22 PAGES


SHARE
Vol.42 • No. 1 • 2001
Back to Top