When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. In this paper, we use one of the paraconsistent logics introduced in [9,â€¦ (More)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitiveâ€¦ (More)

In this paper we propose a very general deenition of combination of logics by means of the concept of sheaves of logics. We rst discuss some properties of this general deenition and list someâ€¦ (More)

This paper aims to help to elucidate some questions on the duality between the intuitionistic and the paraconsistent paradigms of thought, proposing some new classes of anti-intuitionisticâ€¦ (More)

35th International Symposium on Multiple-Valuedâ€¦

2005

This paper discusses a new algebraic proof method for general sentential logics, which is particularly apt for finitely-many-valued logics and for PC, based on reducing polynomials over finiteâ€¦ (More)

This paper discusses how to define logics as deductive limits of sequences of other logics. The case of da Costaâ€™s hierarchy of increasingly weaker paraconsistent calculi, known as Cn, 1â‰¤ nâ‰¤ Ï‰, isâ€¦ (More)

Given the set V~ of all vectors with length n and components 0, 1 . . . . . k 1 from the ring of the integers modulo k, the Hamming distance H(X, Y) between X, Y ~ V~ is defined as the number ofâ€¦ (More)

Model-Based Reasoning in Science, Technology, andâ€¦

2007

Polynomizing is a term that intends to describe the uses of polynomiallike representations as a reasoning strategy and as a tool for scientific heuristics. I show how proof-theory and semantics forâ€¦ (More)