[BCF2003] Sequent of relations calculi: A framework for analytic deduction in many-valued logics
| BCF03BeyondTwo (In a collection)
|
| Author(s) | Baaz M., Ciabattoni A. and Fermüller C. G. |
| Title | "Sequent of relations calculi: A framework for analytic deduction in many-valued logics" |
| Date | 2003 |
| In | Beyond Two: Theory adn Applications of Multiple-Valued Logic |
| Editor(s) | Fitting M. and Orlowska E. |
| Page(s) | 157--180 |
| Publisher | Physica-Verlag |
@incollection{BCF03BeyondTwo,
publisher = {Physica-Verlag},
address = {Heidelberg, New York},
title = {Sequent of relations calculi: {A} framework for analytic deduction in many-valued logics},
author = {Baaz, M. and Ciabattoni, A. and Fermüller, C. G.},
year = {2003},
booktitle = {Beyond Two: Theory adn Applications of Multiple-Valued Logic},
editor = {M. Fitting and E. Orlowska},
pages = {157--180},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)