Lógicas de bloqueo : una clase de lógicas paraconsistentes, con interpretaciones en computación teórica y grupos de discusión

Abstract

En el presente trabajo se define una familia de sistemas deductivos proposicionales, de los cuales como mínimo una gran parte son paraconsistentes. Primero se define y estudia detenidamente uno de dichos sistemas paraconsistentes, y se muestra detalladamente cómo permite describir aspectos del comportamiento de bases de datos inconsistentes, tratadas con el método llamado "de reparaciones". A continuación, en base a las principales características de la lógica con la que se ha estado trabajando, se define la familia de sistemas deductivos mencionada. Se muestra también una interpretación para otra de estas lógicas, interpretación de carácter bastante diferente a la propuesta para el sistema anteriormente estudiado.

In this work a family of propositional deductive systems is defined, from which an important number of them, as a minimum, are paraconsistent. To start with, one of the above mentioned paraconsistent systems is defined and thoroughly studied. The way that system allows to describe aspects of inconsistent dåtabases behaviour is shown, worked out with the method called "repairs". Next, based on the main characteristics of the logic we have been working with, the afore mentioned family of deductive systems is defined. An interpretation for another one from these logics is also shown. This interpretation shows a rather different character from the proposed one for the system studied before.