Topic
Paraconsistent logic
About: Paraconsistent logic is a research topic. Over the lifetime, 1610 publications have been published within this topic receiving 28842 citations.
Papers published on a yearly basis
Papers
More filters
••
TL;DR: A paraconsistent reasoning strategy, Chunk and Permeate, where information is broken up into chunks, and a limited amount of information is allowed to flow between chunks to establish the legitimacy of reasoning of this kind.
Abstract: In this paper we introduce a paraconsistent reasoning strategy, Chunk and Permeate In this, information is broken up into chunks, and a limited amount of information is allowed to flow between chunks We start by giving an abstract characterisation of the strategy It is then applied to model the reasoning employed in the original infinitesimal calculus The paper next establishes some results concerning the legitimacy of reasoning of this kind – specifically concerning the preservation of the consistency of each chunk – and concludes with some other possible applications and technical questions
78 citations
••
TL;DR: Different types of semantics for the logic N4, the paraconsistent variant of Nelson’s constructive logic with strong negation, will be considered and it will be proved that N4-lattices form a variety and there is a natural dual isomorphism between the lattices of subvarieties of and the lattice of N3-extensions.
Abstract: In the present article, different types of semantics for the logic N4, the paraconsistent variant of Nelson’s constructive logic with strong negation, will be considered. N4 will be characterized in terms of so-called Fidel-structures. It will be stated that Fidel-structures are equivalent to twist-structures. Further, the N4-lattices, generalization of lattices, will be defined and it will be proved that they can be represented as twist-structures. It will be proved that N4-lattices form a variety and there is a natural dual isomorphism between the lattice of subvarieties of and the lattice of N4-extensions.
77 citations
••
01 Jan 200175 citations