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 Article

2 citations

Journal ArticleDOI
TL;DR: The first formulation of a relevant logic was given by Ivan Orlov in 1928 as discussed by the authors, which remained largely unknown to English-speakers until the discovery of relevant logics in the 1990s.
Abstract: In 1928 Ivan Orlov published a remarkable paper which contains the first formulation of a relevant logic. The paper remained largely unknown to English-speakers until this discovery of relevant log...

2 citations

Journal ArticleDOI
TL;DR: An axiomatization for an expansion of Nelson’s logic motivated by Heinrich Wansing is offered which serves as a base logic for the framework of nonmonotonic reasoning considered by Dov Gabbay and Raymond Turner.
Abstract: A b s t r a c t. The present note offers an axiomatization for an expansion of Nelson’s logic motivated by Heinrich Wansing which serves as a base logic for the framework of nonmonotonic reasoning considered by Dov Gabbay and Raymond Turner. We also show that the expansion of Wansing is not conservative over intuitionistic logic, but at least as strong as Jankov’s logic.

2 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