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 survey of three-valued paraconsistent propositional logics connected with Jaśkowski's criterion for constructing Paraconsistent Logics can be found in this paper, where several problems are raised and four new matrix 3-valued logics are suggested.
Abstract: A survey is given of three-valued paraconsistent propositional logics connected with Jaśkowski’s criterion for constructing paraconsistent logics. Several problems are raised and four new matrix three-valued paraconsistent logics are suggested.
17 citations
••
01 Sep 2001
TL;DR: In this paper, the authors present a combination of Intuitionistic, Free and Paraconsistent Logics (S Rahman, S Read and S Read's Truthmakers, Entailment and Necessity).
Abstract: Fine-Grained Theories of Time (P Blackburn) Revision Sequences and Computers with an Infinite Amount of Time (B Lowe) On Frege's Nightmare: A Combination of Intuitionistic, Free and Paraconsistent Logics (S Rahman) Truthmakers, Entailment and Necessity (S Read) Global Definability in Basic Modal Logic (M de Rijke & H Sturm) Ackermann's Implication for Typefree Logic (K Robering) Why Dialogical Logic? (H Ruckert) Semantics for Constructive Negations (Y Shramko) Recent Trends in Paraconsistent Logic (M Urchs) Obligations, Authorities, and History Dependence (H Wansing).
17 citations
••
TL;DR: This essay tries to reassure potential consumers that it is not necessary to become a radical in order to use paraconsistent logic, and suggests (more modestly) that there is, at least sometimes, something else worth preserving, even in an inconsistent, unsatisfiable premise set.
Abstract: Paraconsistent logic is an area of philosophical logic that has yet to find acceptance from a wider audience. The area remains, in a word, disreputable. In this essay, we try to reassure potential consumers that it is not necessary to become a radical in order to use paraconsistent logic. According to the radicals, the problem is the absurd classical account of contradiction: Classically inconsistent sets explode only because bourgeois classical semantics holds, in the face of overwhelming evidence to the contrary, that both A and ∼ A cannot simultaneously be true! We suggest (more modestly) that there is, at least sometimes, something else worth preserving, even in an inconsistent, unsatisfiable premise set. In this paper we present, in a new guise, a very general version of this “preservationist” approach to paraconsistency.
17 citations
••
TL;DR: L"@w^+ is first-order, intuitionistic, and not linear, a meta logic for the linear logical framework LLF and its use via a proof of the admissibility of cut in the sequent calculus for the tensor fragment of linear logic is illustrated.
17 citations
•
24 Aug 1991TL;DR: The logical basis for mod elling the phenomenon of reasoning in the pres ence of contradiction is introduced, by identifying this prob lem with the notion of change of context, which offers a new interpreta tion to certain paraconsistent logics which al lows the application of them to automated rea soning and knowledge representation.
Abstract: This paper introduces the logical basis for mod elling the phenomenon of reasoning in the pres ence of contradiction, by identifying this prob lem with the notion of change of context. We give here the basic definitions of a new seman tics, which works by interpreting one logic into a family of logics via translations, which we call semantics of translations. As a particular ap plication we show that a simple logic support ing contradictions can be constructed translat ing classical logic into three-valued logics. This translation semantics offers a new interpreta tion to certain paraconsistent logics which al lows the application of them to automated rea soning and knowledge representation.
17 citations