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
Book ChapterDOI
01 Jan 2009
TL;DR: This work presents some improvements regarding to the autonomous mobile robot Emmy based on Paraconsistent Annotated Evidential Logic Eτ.
Abstract: This work presents some improvements regarding to the autonomous mobile robot Emmy based on Paraconsistent Annotated Evidential Logic Eτ. A discussion on navigation system is presented.

11 citations

Journal ArticleDOI
TL;DR: This paper establishes the non-triviality of a semantically closed theory with a natural, but non-extensional, description operator.
Abstract: It is known that a semantically closed theory with description may well be trivial if the principles concerning denotation and descriptions are formulated in certain ways, even if the underlying logic is paraconsistent. This paper establishes the non-triviality of a semantically closed theory with a natural, but non-extensional, description operator.

11 citations

Journal ArticleDOI
TL;DR: In this paper, a paraconsistent extension of Sylvan's logic CCω is constructed, in which negation is defined via a total accessibility relation, and an axiomatization is given and the completeness theorem is proved.
Abstract: We deal with Sylvan’s logic CCω. It is proved that this logic is a conservative extension of positive intuitionistic logic. Moreover, a paraconsistent extension of Sylvan’s logic is constructed, which is also a conservative extension of positive intuitionistic logic and has the property of being decidable. The constructed logic, in which negation is defined via a total accessibility relation, is a natural intuitionistic analog of the modal system S5. For this logic, an axiomatization is given and the completeness theorem is proved.

11 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