Showing papers on "Paraconsistent logic published in 1980"

A survey of Paraconsistent Logic ()

Abstract: This paper constitutes a first attempt to sistematize the present state of the development of para-consistent logic, as well as the main topics and open questions related to it. As we want this paper to have mainly an expository character, we will not in general be rigorous, especially when an intuitive presentation is better for a first understanding of the questions under consideration, as, for example, in Section 1. Section 6 is perhaps the only one where the reader will find some original results. The bibliography, though large, is of course not intended to be complete. A general idea of the content of this paper is given by the Index.