![]() |
@article{DBLP:journals/igpl/IshigakiK08,
author = {Ryo Ishigaki and
Ryo Kashima},
title = {Sequent Calculi for Some Strict Implication Logics},
journal = {Logic Journal of the IGPL},
volume = {16},
number = {2},
year = {2008},
pages = {155-174},
ee = {http://dx.doi.org/10.1093/jigpal/jzm058},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2008-04-04 by Michael Ley (ley@uni-trier.de)