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: An extension of the Grothendieck topological semantics for BI is introduced for PBI, and the completeness theorem with respect to this semantics is proved.

1 citations

Book ChapterDOI
10 Apr 2002

1 citations

Journal ArticleDOI
TL;DR: In this paper, the concept of a k-transform of a formula is discussed and some applications of its applications are considered in the context of paraconsistent logical systems and metamathematical properties of such systems are studied.
Abstract: We study some metamathematical properties of various classical and paraconsistent logical systems. In particular, we discuss the concept of a k-transform of a formula and consider some of its applications.

1 citations

Posted Content
TL;DR: It is proved that there is no sound and complete standard sequent calculus for these logics, so non-standard sound, complete and cut freesequent calculus is provided for Paraconsistent Weak Kleene Logic using three-sided sequents.
Abstract: In this paper we study the deductive properties of a family of 3-valued paraconsistent logics. We define a notion of standard sequent calculus and prove that there is no sound and complete standard sequent calculus for these logics. Moreover, we provide non-standard sound, complete and cut free sequent calculus for Paraconsistent Weak Kleene Logic using three-sided sequents.

1 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