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
••
2 citations
••
[...]
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
••
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