@InCollection{	  rasga.ea:labelled:2002,
  abstract	= {We introduce a framework for presenting non-classical
		  logics in amodular and uniform way as labelled natural
		  deduction systems. The useof algebras of truth-values as
		  the labelling algebras of our systemsallows us to give
		  generalized systems for multiple-valued logics.
		  Morespecifically, our framework generalizes previous work
		  where labelsrepresent worlds in the underlying Kripke
		  structure: since we can takemultiple-valued logics as
		  meaning not only finitely or infinitelymany-valued logics
		  but also power-set logics, our framework allows usto
		  present also logics such as modal, intuitionistic and
		  relevancelogics, thus providing a first step towards
		  fibring these logics withmany-valued ones.},
  address	= {Heidelberg},
  author	= {Jo{\~a}o Rasga and Am\'\ilcar Sernadas and Cristina
		  Sernadas and Luca Vigan{\`o}},
  booktitle	= {Frontiers of Combining Systems 4 (Proceedings of
		  FroCoS'2002)},
  copyright	= {\copyright Springer-Verlag},
  copyrighturl	= {http://link.springer.de/link/service/series/0558/tocs/t2309.htm}
		  ,
  editor	= {Alessandro Armando},
  isbn		= {3-540-43381-3 },
  language	= {USenglish},
  pages		= {222--239},
  pdf		= {papers/2002/0_RSSVfrocos02.pdf},
  ps		= {papers/2002/0_RSSVfrocos02.ps.gz},
  publisher	= {Springer-Verlag},
  series	= {LNCS 2309},
  title		= {Labelled Deduction over Algebras of Truth-Values},
  year		= 2002
}