scispace - formally typeset
Search or ask a question
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
More filters
Journal ArticleDOI
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

Journal ArticleDOI
Robin Giles1

77 citations

Journal ArticleDOI
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

Journal Article

75 citations


Network Information
Related Topics (5)
Axiom
11K papers, 257.9K citations
80% related
Logic programming
11.1K papers, 274.2K citations
79% related
Metaphysics
14.8K papers, 235.4K citations
77% related
Philosophy of science
15.4K papers, 361.5K citations
77% related
Class (set theory)
17.4K papers, 242K citations
76% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
202313
202255
202131
202036
201935
201847