@proceedings {caleiro2001non,
	title = {Non-truth-functional fibred semantics},
	journal = {Proceedings of the International Conference on Artificial Intelligence ({IC}-{AI}{\textquoteright}2001)},
	volume = {2},
	year = {2001},
	pages = {841{\textendash}847},
	publisher = {CSREA Press},
	abstract = {<p>Until recently, truth-functionality has been considered essential to the mechanism for combining logics known as fibring. Following the first efforts towards extending fibred semantics to logics with nontruth- functional operators, this paper aims to clarify the subject at the light of ideas borrowed from the theory of general logics as institutions and the novel notion of non-truth-functional room. Besides introducing the relevant concepts and constructions, the paper presents a detailed worked example combining classical first-order logic with the paraconsistent propositional system C<sub>1</sub>, for which a meaningful semantics is obtained. The possibility of extending this technique to build rst-order versions of further logics of formal inconsistency is also discussed.</p>},
	author = {Caleiro, Carlos and Marcos, Jo{\~a}o},
	editor = {Arabnia, Hamid R.}
}
