[CGO1998] Cut-free Proof Systems for Logics of Weak Excluded Middle
| CGO98 (Article)
|
| Author(s) | Ciabattoni A., Gabbay D. and Olivetti N. |
| Title | "Cut-free Proof Systems for Logics of Weak Excluded Middle" |
| Date | 1998 |
| Journal | Soft Computing |
| Volume | 2 |
| Number | 4 |
| Page(s) | 147-156 |
@article{CGO98,
journal = {Soft Computing},
volume = {2},
title = {Cut-free Proof Systems for Logics of Weak Excluded Middle},
author = {A. Ciabattoni and D.M. Gabbay and N. Olivetti},
year = {1998},
pages = {147-156},
number = {4},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)