Logiche paraconsistenti
Abstract A paraconsistent logic is a logic in which the inference rule (ECQ): a˄¬a|- b is not valid. After settling the preliminaries in section 1, in section 2 I present the motivations for paraconsistency; in section 3 I present the…