Skip Navigation


Logic Journal of IGPL Advance Access originally published online on October 29, 2007
Logic Journal of IGPL 2008 16(2):155-174; doi:10.1093/jigpal/jzm058
This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Ishigaki, R.
Right arrow Articles by Kashima, R.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author, 2007. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Sequent Calculi for Some Strict Implication Logics

Ryo Ishigaki

Department of Mathematical and Computing Sciences, Tokyo Institute of Technology, O-okayama, Meguro, Tokyo 152-8522, Japan. E-mail: zan35044{at}nifty.com

Ryo Kashima

Department of Mathematical and Computing Sciences, Tokyo Institute of Technology, O-okayama, Meguro, Tokyo 152-8522, Japan. E-mail: kashima{at}is.titech.ac.jp

We introduce various sequent systems for propositional logics having strict implication, and prove the completeness theorems and the finite model properties of these systems.The cut-elimination theorems or the (modified) subformula properties are proved semantically.

Key Words: strict implication • sequent calculus • completeness theorem • Kripke models

Received for publication 17 September 2007.

References

  1. Cerrato Claudio. Natural deduction based upon strict implication for normal modal logics. Notre Dame Journal of Formal Logic (1994) 35(4):471–495.[CrossRef]

  2. Corsi Giovanna. Weak logics with strict implication. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (1987) 33:116–129.

  3. osen Kosta. Modal translations in K and D. In: Diamonds and Defaults.—de Rijke M, ed. (1993) Kluwer Academic Publishers. 103–127.

  4. Gabbay Dov M, Olivetti Nicola. Goal-Directed Proof Theory. In: Applied Logic Series. (2000) volume 21. Kluwer Academic Publishers.

  5. Ishii Katsumasa, Kashima Ryo, Kikuchi Kentaro. Sequent calculi for Visser's propositional logics. Notre Dame Journal of Formal Logic (2001) 42(1):1–22.[CrossRef]

  6. Kashima Ryo. Sequent calculi of non-classical logics — Proofs of completeness theorems by sequent calculi (in Japanese). (1999) Proceedings of Mathematical Society of Japan Annual Colloquium of Foundations of Mathematics. 49–67.

  7. Kikuchi Kentaro. Gentzen Style Sequent Calculi for Some Subsystems of Intuitionistic Logic. In: PhD thesis (2002) Japan Advanced Institute of Science and Technology.

  8. Kikuchi Kentaro, Sasaki Katsumi. A cut-free Gentzen formulation of Basic Propositional Calculus. Journal of Logic, Language and Information (2003) 12(2):213–225.[CrossRef]

  9. Lewis CI, Langford CH. Symbolic Logic (1932) New York: Century.

  10. Restall Greg. Subintuitionistic logics. Notre Dame Journal of Formal Logic (1994) 35:116–129.[CrossRef]

  11. Sasaki Katsumi. A Gentzen-style formulation for Visser's propositional logic. Reports on Mathematical Logic (1999) 33:65–78.

  12. Suzuki Yasuhito. Non-modal propositional languages on transitive frames and their embeddings. In: PhD thesis (1999) Japan Advanced Institute of Science and Technology.

  13. Takano Mitio. A modified subformula property for the modal logics K5 and K5D. Bulletin of the Section of Logic (2001) 30(2):115–122.

  14. Visser Albert. A propositional logic with explicit fixed points. Studia Logica (1981) 40:155–175.[CrossRef]

  15. Wansing Heinrich. Displaying as temporalizing. Sequent systems for subintuitionistic logics. Logic, Language and Computation—Akama S, ed. (1997) Kluwer Academic Publishers. 159–178.


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Ishigaki, R.
Right arrow Articles by Kashima, R.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?