@Article{	  rasga.ea:fibring:2002,
  abstract	= {We give a categorial characterization of how labelled
		  deduction systems for logics with a propositional basis
		  behave under unconstrained fibring and under fibring that
		  is constrained by symbol sharing. At the semantic level, we
		  introduce a general semantics for our systems and then give
		  a categorial characterization of fibring of models. Based
		  on this, we establish the conditions under which our
		  systems are sound and complete with respect to the general
		  semantics for the corresponding logics, and establish
		  requirements on logics and systems so that completeness is
		  preserved by both forms of fibring.},
  author	= {Jo{\~a}o Rasga and Am{\'\i}lcar Sernadas and Cristina
		  Sernadas and Luca Vigan{\`o}},
  copyright	= {\copyright Oxford University Press},
  copyrighturl	= {http://www3.oup.co.uk/logcom/hdb/Volume_12/Issue_03/120443.sgm.abs.html}
		  ,
  journal	= {Journal of Logic and Computation},
  language	= {USenglish},
  month		= {June},
  number	= 3,
  pages		= {443--473},
  pdf		= {papers/2002/rasgasernadasvigano-web.pdf},
  ps		= {papers/2002/rasgasernadasvigano-web.ps.gz},
  title		= {Fibring Labelled Deduction Systems},
  url		= {http://www3.oup.co.uk/logcom/hdb/Volume_12/Issue_03/120443.sgm.abs.html}
		  ,
  volume	= 12,
  year		= 2002
}