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 novel notion of paraKripke models is introduced, which grasps the paraconsistent character of the entailment relation of QCTL, for supporting the verification of temporal properties of concurrent systems even where the consistent model is not available.
2 citations
TL;DR: In this article, the non-classical resolution of Curry's paradox and Shaw-Kwei paradox without rejection any contraction postulate is proposed, which is based on a non-conformity postulate.
Abstract: In 1942 Haskell BCurry presented what is now called Curry paradox which can be found in a logic independently of its stand on negationIn recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes In this article the non-classical resolution of Curry's Paradox and Shaw-Kwei paradox without rejection any contraction postulate is proposed
2 citations
Journal Article•
TL;DR: In this paper, the development of philosophical logic in Russia within the framework of worldwide tendencies is surveyed and the background of different directions in philosophical logic and its connection with philosophy of logic, foundations of logic and computerization of logic.
Abstract: In this paper, we survey the development of philosophical logic in Russia within the framework of worldwide tendencies. Philosophical logic is an extremely wide area of logical studies, requiring philosophical judgement of the basic concepts, used in modern logic, and the outcomes obtained by means of mathematical logic. However, we need to remark that the term ‘philosophical logic’ is uncertain and has no uniform use. Even if philosophical logic is represented as a special scientific discipline, it is not possible to define its subject, limits of application, and methods. Therefore we consider the background of different directions in philosophical logic and its connection with philosophy of logic, foundations of logic, and computerization of logic.
2 citations
TL;DR: This extended relevant logic is called RWP, and it has the property of constructible falsity which is known to be a characteristic property of N4 .
Abstract: In this paper, the positive fragment of the logic of contraction-less relevant implication is extended with the addition of a paraconsistent negation connective similar to the strong negation connective in Nelson's paraconsistent four-valued logic This extended relevant logic is called , and it has the property of constructible falsity which is known to be a characteristic property of A Gentzen-type sequent calculus for is introduced, and the cut-elimination and decidability theorems for are proved Two extended Routley-Meyer semantics are introduced for , and the completeness theorems with respect to these semantics are proved
2 citations
01 Dec 2018
TL;DR: The semantics of zooming operation with four-valued semantics is interpreted based on partial interpretation and a deductive system with Belnap'sFour-valued logic is constructed, which enables granular reasoning useful for the foundation of reasoning for incomplete and inconsistent information.
Abstract: Four-valued semantics is applied to a deduction basis for granular reasoning with zooming operation. This enables the granular reasoning useful for the foundation of reasoning for incomplete and inconsistent information. We interpret the semantics of zooming operation with four-valued semantics based on partial interpretation and construct a deductive system with Belnap's four-valued logic. We also discuss an application with non-monotonic reasoning and paraconsistent logic using the zooming technique for frame problem.
2 citations