@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 = {

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 C1, 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.

}, author = {Caleiro, Carlos and Marcos, Jo{\~a}o}, editor = {Arabnia, Hamid R.} } @proceedings {carnielli_tableau_2001, title = {Tableau systems for logics of formal inconsistency}, journal = {Proceedings of the International Conference on Artificial Intelligence ({IC}-{AI}{\textquoteright}2001)}, year = {2001}, pages = {848-852}, publisher = {{CSREA} Press, Athens {GA}, {USA}}, abstract = {

The logics of formal inconsistency (LFI’s) are logics that allow to explicitly formalize the concepts of consistency and inconsistency by means of formulas of their language. Contradictoriness, on the other hand, can always be expressed in any logic, provided its language includes a symbol for negation. Besides being able to represent the distinction between contradiction and inconsistency, LFI’s are non-explosive logics, in the sense that a contradiction does not entail arbitrary statements, but yet are gently explosive, in the sense that, adjoining the additional requirement of consistency, then contradictoriness do cause explosion. Several logics can be seen as LFI’s, among them the great majority of paraconsistent systems developed under the Brazilian and Polish tradition. We present here tableau systems for some important LFI’s: bC, Ci and LFI1.

}, author = {Carnielli, Walter A. and Marcos, Jo{\~a}o}, editor = {Arabnia, Hamid R.} }