Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[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"
Date1998
JournalSoft Computing
Volume2
Number4
Page(s)147-156

BibTeX code

@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},
}


 Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)