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
••
11 citations
••
01 Jan 2009TL;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
••
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
••
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