Abstract FR:

Nous proposons une logique, la logique pseudo-consistante, permettant la manipulation formelle de donnees contradictoires. Cette logique possede une contrepartie algebrique, les pc-algebres, et deux semantiques (une semantique locale pouvant etre interpretee de deux facon differentes et une semantique de type topologique). Nous montrons que la logique pseudo-consistante, en raison de son approche de la verite, est differente des logiques paraconsistantes. Nous decrivons de quelles facons elle peut-etre utilisee, notamment pour resoudre certains problemes lies a la categorisation