[CF2001b] Hypersequents as a uniform framework for Urquhart's C, MTL and related logics
| CF2001 (In proceedings)
|
| Author(s) | Ciabattoni A. and Fermüller C. |
| Title | "Hypersequents as a uniform framework for Urquhart's C, MTL and related logics" |
| Date | 2001 |
| In | International Symposium on Multiple Valued Logic (ISMVL'2001) |
| Page(s) | 227-232 |
| Publisher | IEEE |
@inproceedings{CF2001,
publisher = {IEEE},
title = {Hypersequents as a uniform framework for {U}rquhart's {C}, {MTL} and related logics},
author = {A. Ciabattoni and C. Ferm{\"u}ller},
year = {2001},
booktitle = {International Symposium on Multiple Valued Logic (ISMVL'2001)},
pages = {227-232},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)