[CF2001] Hypersequent calculi for some intermediate logics with bounded Kripke models
| CF01jlc (Article)
|
| Author(s) | Ciabattoni A. and Ferrari M. |
| Title | "Hypersequent calculi for some intermediate logics with bounded Kripke models" |
| Date | 2001 |
| Journal | J. of Logic and Computation |
| Volume | 2 |
| Number | 11 |
| Page(s) | 283-294 |
@article{CF01jlc,
journal = {J. of Logic and Computation},
volume = {2},
title = {Hypersequent calculi for some intermediate logics with bounded {K}ripke models},
author = {A. Ciabattoni and M. Ferrari},
year = {2001},
pages = {283-294},
number = {11},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)