Sequent calculi for some strict implication logics | Tokyo Tech Research Repository (T2R2)

Publication Information

Title

Japanese:
English:	Sequent calculi for some strict implication logics

Author

Japanese:	Ryo Ishigaki, 鹿島亮.
English:	Ryo Ishigaki, Ryo Kashima.

Language

English

Journal/Book name

Japanese:
English:	Logic Journal of the IGPL

Volume, Number, Page

Vol. 16 No. 2 pp. 155-174

Published date

Apr. 2008

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English:

DOI

https://doi.org/10.1093/jigpal/jzm058

©2007 Tokyo Institute of Technology All rights reserved.