Relevant Information and Relevant Logic (original) (raw)

2001, In: Proceedings of the 6th "Dr. Antonio A. R. Monteiro" Congress of Mathematics, pp. 119-127. Bahia Blanca, Argentina, 2001.

In this paper we define and develop an algebraic structure associated with the concept of systems of relevant information (SRI), which is a variant of the semilattice semantics proposed by A. Urquhart in [6]. The propositional relevant logic RP is introduced as the syntactical counterpart of the SRI-structures. This logic has a primitive-recursive decision procedure. The idea behind this logic is that of "Relevant Deduction" , in which each premise is a block of information relevant to the conclusion. Finally, we prove that the class of SRI-structures is a sound and complete semantics for the logic RP .