Paraconsistent logic
A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or "inconsistencytolerant") systems of logic.
Inconsistencytolerant logics have been discussed since at least 1910 (and arguably much earlier, for example in the writings of Aristotle);[1] however, the term paraconsistent ("beside the consistent") was not coined until 1976, by the Peruvian philosopher Francisco Miró Quesada.[2]
Definition
In classical logic (as well as intuitionistic logic and most other logics), contradictions entail everything. This curious feature, known as the principle of explosion or ex contradictione sequitur quodlibet (Latin, "from a contradiction, anything follows")[3] can be expressed formally as
1  Premise  
2  Conjunctive elimination  from 1  
3  Disjunction introduction  from 2  
4  Conjunctive elimination  from 1  
5  Disjunctive syllogism  from 3 and 4 
Which means: if P and its negation ¬P are both assumed to be true, then P is assumed to be true, from which it follows that at least one of the claims P and some other (arbitrary) claim A is true. However, if we know that either P or A is true, and also that P is not true (that ¬P is true) we can conclude that A, which could be anything, is true. Thus if a theory contains a single inconsistency, it is trivial—that is, it has every sentence as a theorem.
The characteristic or defining feature of a paraconsistent logic is that it rejects the principle of explosion. As a result, paraconsistent logics, unlike classical and other logics, can be used to formalize inconsistent but nontrivial theories.
Comparison with classical logic
Paraconsistent logics are propositionally weaker than classical logic; that is, they deem fewer propositional inferences valid. The point is that a paraconsistent logic can never be a propositional extension of classical logic, that is, propositionally validate everything that classical logic does. In some sense, then, paraconsistent logic is more conservative or cautious than classical logic. It is due to such conservativeness that paraconsistent languages can be more expressive than their classical counterparts including the hierarchy of metalanguages due to Alfred Tarski et al. According to Solomon Feferman [1984]: "...natural language abounds with directly or indirectly selfreferential yet apparently harmless expressions—all of which are excluded from the Tarskian framework." This expressive limitation can be overcome in paraconsistent logic.
Motivation
A primary motivation for paraconsistent logic is the conviction that it ought to be possible to reason with inconsistent information in a controlled and discriminating way. The principle of explosion precludes this, and so must be abandoned. In nonparaconsistent logics, there is only one inconsistent theory: the trivial theory that has every sentence as a theorem. Paraconsistent logic makes it possible to distinguish between inconsistent theories and to reason with them.
Research into paraconsistent logic has also led to the establishment of the philosophical school of dialetheism (most notably advocated by Graham Priest), which asserts that true contradictions exist in reality, for example groups of people holding opposing views on various moral issues.[4] Being a dialetheist rationally commits one to some form of paraconsistent logic, on pain of otherwise embracing trivialism, i.e. accepting that all contradictions (and equivalently all statements) are true.[5] However, the study of paraconsistent logics does not necessarily entail a dialetheist viewpoint. For example, one need not commit to either the existence of true theories or true contradictions, but would rather prefer a weaker standard like empirical adequacy, as proposed by Bas van Fraassen.[6]
Philosophy
In classical logic Aristotle's three laws, namely, the excluded middle (p or ¬p), noncontradiction ¬ (p ∧ ¬p) and identity (p iff p), are regarded as the same, due to the interdefinition of the connectives. Moreover, traditionally contradictoriness (the presence of contradictions in a theory or in a body of knowledge) and triviality (the fact that such a theory entails all possible consequences) are assumed inseparable, granted that negation is available. These views may be philosophically challenged, precisely on the grounds that they fail to distinguish between contradictoriness and other forms of inconsistency.
On the other hand, it is possible to derive triviality from the 'conflict' between consistency and contradictions, once these notions have been properly distinguished. The very notions of consistency and inconsistency may be furthermore internalized at the object language level.
Tradeoffs
Paraconsistency involves tradeoffs. In particular, abandoning the principle of explosion requires one to abandon at least one of the following two principles:[7]
Disjunction introduction  

Disjunctive syllogism 
Both of these principles have been challenged.
One approach is to reject disjunction introduction but keep disjunctive syllogism and transitivity. In this approach, rules of natural deduction hold, except for disjunction introduction and excluded middle; moreover, inference A⊢B does not necessarily mean entailment A⇒B. Also, the following usual Boolean properties hold: double negation as well as associativity, commutativity, distributivity, De Morgan, and idempotence inferences (for conjunction and disjunction). Furthermore, inconsistencyrobust proof of negation holds for entailment: (A⇒(B∧¬B))⊢¬A.
Another approach is to reject disjunctive syllogism. From the perspective of dialetheism, it makes perfect sense that disjunctive syllogism should fail. The idea behind this syllogism is that, if ¬ A, then A is excluded and B can be inferred from A ∨ B. However, if A may hold as well as ¬A, then the argument for the inference is weakened.
Yet another approach is to do both simultaneously. In many systems of relevant logic, as well as linear logic, there are two separate disjunctive connectives. One allows disjunction introduction, and one allows disjunctive syllogism. Of course, this has the disadvantages entailed by separate disjunctive connectives including confusion between them and complexity in relating them.
Furthermore, the rule of proof by contradiction (below) just by itself is inconsistency nonrobust in the sense that the negation of every proposition can be proved from a contradiction.
Proof by contradiction  If , then 

Strictly speaking, having just the rule above is paraconsistent because it is not the case that every proposition can be proved from a contradiction. However, if the rule double negation elimination () is added as well, then every proposition can be proved from a contradiction. Double negation elimination does not hold for intuitionistic logic.
Example
One wellknown system of paraconsistent logic is the simple system known as LP ("Logic of Paradox"), first proposed by the Argentinian logician Florencio González Asenjo in 1966 and later popularized by Priest and others.[8]
One way of presenting the semantics for LP is to replace the usual functional valuation with a relational one.[9] The binary relation relates a formula to a truth value: means that is true, and means that is false. A formula must be assigned at least one truth value, but there is no requirement that it be assigned at most one truth value. The semantic clauses for negation and disjunction are given as follows:
(The other logical connectives are defined in terms of negation and disjunction as usual.) Or to put the same point less symbolically:
 not A is true if and only if A is false
 not A is false if and only if A is true
 A or B is true if and only if A is true or B is true
 A or B is false if and only if A is false and B is false
(Semantic) logical consequence is then defined as truthpreservation:
 if and only if is true whenever every element of is true.
Now consider a valuation such that and but it is not the case that . It is easy to check that this valuation constitutes a counterexample to both explosion and disjunctive syllogism. However, it is also a counterexample to modus ponens for the material conditional of LP. For this reason, proponents of LP usually advocate expanding the system to include a stronger conditional connective that is not definable in terms of negation and disjunction.[10]
As one can verify, LP preserves most other inference patterns that one would expect to be valid, such as De Morgan's laws and the usual introduction and elimination rules for negation, conjunction, and disjunction. Surprisingly, the logical truths (or tautologies) of LP are precisely those of classical propositional logic.[11] (LP and classical logic differ only in the inferences they deem valid.) Relaxing the requirement that every formula be either true or false yields the weaker paraconsistent logic commonly known as firstdegree entailment (FDE). Unlike LP, FDE contains no logical truths.
It must be emphasized that LP is but one of many paraconsistent logics that have been proposed.[12] It is presented here merely as an illustration of how a paraconsistent logic can work.
Relation to other logics
One important type of paraconsistent logic is relevance logic. A logic is relevant iff it satisfies the following condition:
 if A → B is a theorem, then A and B share a nonlogical constant.
It follows that a relevance logic cannot have (p ∧ ¬p) → q as a theorem, and thus (on reasonable assumptions) cannot validate the inference from {p, ¬p} to q.
Paraconsistent logic has significant overlap with manyvalued logic; however, not all paraconsistent logics are manyvalued (and, of course, not all manyvalued logics are paraconsistent). Dialetheic logics, which are also manyvalued, are paraconsistent, but the converse does not hold.
Intuitionistic logic allows A ∨ ¬A not to be equivalent to true, while paraconsistent logic allows A ∧ ¬A not to be equivalent to false. Thus it seems natural to regard paraconsistent logic as the "dual" of intuitionistic logic. However, intuitionistic logic is a specific logical system whereas paraconsistent logic encompasses a large class of systems. Accordingly, the dual notion to paraconsistency is called paracompleteness, and the "dual" of intuitionistic logic (a specific paracomplete logic) is a specific paraconsistent system called antiintuitionistic or dualintuitionistic logic (sometimes referred to as Brazilian logic, for historical reasons).[13] The duality between the two systems is best seen within a sequent calculus framework. While in intuitionistic logic the sequent
is not derivable, in dualintuitionistic logic
is not derivable. Similarly, in intuitionistic logic the sequent
is not derivable, while in dualintuitionistic logic
is not derivable. Dualintuitionistic logic contains a connective # known as pseudodifference which is the dual of intuitionistic implication. Very loosely, A # B can be read as "A but not B". However, # is not truthfunctional as one might expect a 'but not' operator to be; similarly, the intuitionistic implication operator cannot be treated like "¬ (A ∧ ¬B)". Dualintuitionistic logic also features a basic connective ⊤ which is the dual of intuitionistic ⊥: negation may be defined as ¬A = (⊤ # A)
A full account of the duality between paraconsistent and intuitionistic logic, including an explanation on why dualintuitionistic and paraconsistent logics do not coincide, can be found in Brunner and Carnielli (2005).
These other logics avoid explosion: implicational propositional calculus, positive propositional calculus, equivalential calculus and minimal logic. The latter, minimal logic, is both paraconsistent and paracomplete (a subsystem of intuitionistic logic). The other three simply do not allow one to express a contradiction to begin with since they lack the ability to form negations.
An ideal threevalued paraconsistent logic
Here is an example of a threevalued logic which is paraconsistent and ideal as defined in "Ideal Paraconsistent Logics" by O. Arieli, A. Avron, and A. Zamansky, especially pages 22–23.[14] The three truthvalues are: t (true only), b (both true and false), and f (false only).




A formula is true if its truthvalue is either t or b for the valuation being used. A formula is a tautology of paraconsistent logic if it is true in every valuation which maps atomic propositions to {t, b, f}. Every tautology of paraconsistent logic is also a tautology of classical logic. For a valuation, the set of true formulas is closed under modus ponens and the deduction theorem. Any tautology of classical logic which contains no negations is also a tautology of paraconsistent logic (by merging b into t). This logic is sometimes referred to as "Pac" or "LFI1".
Included
Some tautologies of paraconsistent logic are:
 All axiom schemas for paraconsistent logic:
 ** for deduction theorem and ?→{t,b} = {t,b}
 ** for deduction theorem (note: {t,b}→{f} = {f} follows from the deduction theorem)
 ** {f}→? = {t}
 ** ?→{t} = {t}
 ** {t,b}→{b,f} = {b,f}
 ** ~{f} = {t}
 ** ~{t,b} = {b,f} (note: ~{t} = {f} and ~{b,f} = {t,b} follow from the way the truthvalues are encoded)
 ** {t,b}v? = {t,b}
 ** ?v{t,b} = {t,b}
 ** {t}v? = {t}
 ** ?v{t} = {t}
 ** {f}v{f} = {f}
 ** {b,f}v{b,f} = {b,f}
 ** {f}&? = {f}
 ** ?&{f} = {f}
 ** {b,f}&? = {b.f}
 ** ?&{b,f} = {b,f}
 ** {t}&{t} = {t}
 ** {t,b}&{t,b} = {t,b}
 ** ? is the union of {t,b} with {b,f}
 Some other theorem schemas:
 ** every truthvalue is either t, b, or f.
Excluded
Some tautologies of classical logic which are not tautologies of paraconsistent logic are:
 ** no explosion in paraconsistent logic
 ** disjunctive syllogism fails in paraconsistent logic
 ** contrapositive fails in paraconsistent logic
 ** not all contradictions are equivalent in paraconsistent logic
 ** counterfactual for {b,f}→? = {t,b} (inconsistent with b→f = f)
Strategy
Suppose we are faced with a contradictory set of premises Γ and wish to avoid being reduced to triviality. In classical logic, the only method one can use is to reject one or more of the premises in Γ. In paraconsistent logic, we may try to compartmentalize the contradiction. That is, weaken the logic so that Γ→X is no longer a tautology provided the propositional variable X does not appear in Γ. However, we do not want to weaken the logic any more than is necessary for that purpose. So we wish to retain modus ponens and the deduction theorem as well as the axioms which are the introduction and elimination rules for the logical connectives (where possible).
To this end, we add a third truthvalue b which will be employed within the compartment containing the contradiction. We make b a fixed point of all the logical connectives.
We must make b a kind of truth (in addition to t) because otherwise there would be no tautologies at all.
To ensure that modus ponens works, we must have
that is, to ensure that a true hypothesis and a true implication lead to a true conclusion, we must have that a nottrue (f) conclusion and a true (t or b) hypothesis yield a nottrue implication.
If all the propositional variables in Γ are assigned the value b, then Γ itself will have the value b. If we give X the value f, then
 .
So Γ→X will not be a tautology.
Limitations: (1) There must not be constants for the truth values because that would defeat the purpose of paraconsistent logic. Having b would change the language from that of classical logic. Having t or f would allow the explosion again because
 or
would be tautologies. Note that b is not a fixed point of those constants since b ≠ t and b ≠ f.
(2) This logic's ability to contain contradictions applies only to contradictions among particularized premises, not to contradictions among axiom schemas.
(3) The loss of disjunctive syllogism may result in insufficient commitment to developing the 'correct' alternative, possibly crippling mathematics.
(4) To establish that a formula Γ is equivalent to Δ in the sense that either can be substituted for the other wherever they appear as a subformula, one must show
 .
This is more difficult than in classical logic because the contrapositives do not necessarily follow.
Applications
Paraconsistent logic has been applied as a means of managing inconsistency in numerous domains, including:[15]
 Semantics. Paraconsistent logic has been proposed as means of providing a simple and intuitive formal account of truth that does not fall prey to paradoxes such as the Liar. However, such systems must also avoid Curry's paradox, which is much more difficult as it does not essentially involve negation.
 Set theory and the foundations of mathematics.
 Epistemology and belief revision. Paraconsistent logic has been proposed as a means of reasoning with and revising inconsistent theories and belief systems.
 Knowledge management and artificial intelligence. Some computer scientists have utilized paraconsistent logic as a means of coping gracefully with inconsistent[16] or contradictory[17] information.
 Deontic logic and metaethics. Paraconsistent logic has been proposed as a means of dealing with ethical and other normative conflicts.
 Software engineering. Paraconsistent logic has been proposed as a means for dealing with the pervasive inconsistencies among the documentation, use cases, and code of large software systems.[18][19][20]
 Electronics design routinely uses a fourvalued logic, with "hiimpedance (z)" and "don't care (x)" playing similar roles to "don't know" and "both true and false" respectively, in addition to True and False. This logic was developed independently of philosophical logics.
 Quantum physics
 Black hole physics
 Hawking radiation
 Quantum computing
 Spintronics
 Quantum entanglement
 Quantum coupling
 Uncertainty principle
Criticism
Some philosophers have argued against dialetheism on the grounds that the counterintuitiveness of giving up any of the three principles above outweighs any counterintuitiveness that the principle of explosion might have.
Others, such as David Lewis, have objected to paraconsistent logic on the ground that it is simply impossible for a statement and its negation to be jointly true.[21] A related objection is that "negation" in paraconsistent logic is not really negation; it is merely a subcontraryforming operator.[22]
Alternatives
Approaches exist that allow for resolution of inconsistent beliefs without violating any of the intuitive logical principles. Most such systems use multivalued logic with Bayesian inference and the DempsterShafer theory, allowing that no nontautological belief is completely (100%) irrefutable because it must be based upon incomplete, abstracted, interpreted, likely unconfirmed, potentially uninformed, and possibly incorrect knowledge (of course, this very assumption, if nontautological, entails its own refutability, if by "refutable" we mean "not completely [100%] irrefutable"). These systems effectively give up several logical principles in practice without rejecting them in theory.
Notable figures
Notable figures in the history and/or modern development of paraconsistent logic include:
 Alan Ross Anderson (United States, 1925–1973). One of the founders of relevance logic, a kind of paraconsistent logic.
 Florencio González Asenjo (Argentina, 19272013)
 Diderik Batens (Belgium)
 Nuel Belnap (United States, b. 1930) developed logical connectives of a fourvalued logic.
 JeanYves Béziau (France/Switzerland, b. 1965). Has written extensively on the general structural features and philosophical foundations of paraconsistent logics.
 Ross Brady (Australia)
 Bryson Brown (Canada)
 Walter Carnielli (Brazil). The developer of the possibletranslations semantics, a new semantics which makes paraconsistent logics applicable and philosophically understood.
 Newton da Costa (Brazil, b. 1929). One of the first to develop formal systems of paraconsistent logic.
 Itala M. L. D'Ottaviano (Brazil)
 J. Michael Dunn (United States). An important figure in relevance logic.
 Carl Hewitt
 Stanisław Jaśkowski (Poland). One of the first to develop formal systems of paraconsistent logic.
 R. E. Jennings (Canada)
 David Kellogg Lewis (USA, 1941–2001). Articulate critic of paraconsistent logic.
 Jan Łukasiewicz (Poland, 1878–1956)
 Robert K. Meyer (United States/Australia)
 Chris Mortensen (Australia). Has written extensively on paraconsistent mathematics.
 Lorenzo Peña (Spain, b. 1944). Has developed an original line of paraconsistent logic, gradualistic logic (also known as transitive logic, TL), akin to fuzzy logic.
 Val Plumwood [formerly Routley] (Australia, b. 1939). Frequent collaborator with Sylvan.
 Graham Priest (Australia). Perhaps the most prominent advocate of paraconsistent logic in the world today.
 Francisco Miró Quesada (Peru). Coined the term paraconsistent logic.
 B. H. Slater (Australia). Another articulate critic of paraconsistent logic.
 Richard Sylvan [formerly Routley] (New Zealand/Australia, 1935–1996). Important figure in relevance logic and a frequent collaborator with Plumwood and Priest.
 Nicolai A. Vasiliev (Russia, 1880–1940). First to construct logic tolerant to contradiction (1910).
Notes
 "Paraconsistent Logic". Stanford Encyclopedia of Philosophy. Archived from the original on 20151211. Retrieved 1 December 2015.
 Priest (2002), p. 288 and §3.3.
 Carnielli, W. and Marcos, J. (2001) "Ex contradictione non sequitur quodlibet" Archived 20121016 at the Wayback Machine Proc. 2nd Conf. on Reasoning and Logic (Bucharest, July 2000)
 Jennifer Fisher (2007). On the Philosophy of Logic. Cengage Learning. pp. 132–134. ISBN 9780495008880.
 Graham Priest (2007). "Paraconsistency and Dialetheism". In Dov M. Gabbay; John Woods (eds.). The Many Valued and Nonmonotonic Turn in Logic. Elsevier. p. 131. ISBN 9780444516237.
 Otávio Bueno (2010). "Philosophy of Logic". In Fritz Allhoff (ed.). Philosophies of the Sciences: A Guide. John Wiley & Sons. p. 55. ISBN 9781405199957.
 See the article on the principle of explosion for more on this.
 Priest (2002), p. 306.
 LP is also commonly presented as a manyvalued logic with three truth values (true, false, and both).
 See, for example, Priest (2002), §5.
 See Priest (2002), p. 310.
 Surveys of various approaches to paraconsistent logic can be found in Bremer (2005) and Priest (2002), and a large family of paraconsistent logics is developed in detail in Carnielli, Congilio and Marcos (2007).
 See Aoyama (2004).
 "Ideal Paraconsistent Logics" (PDF). Archived (PDF) from the original on 20170809. Retrieved 20180821.
 Most of these are discussed in Bremer (2005) and Priest (2002).
 See, for example, Truth maintenance systems or the articles in Bertossi et al. (2004).
 Gershenson, C. (1999). Modelling emotions with multidimensional logic. In Proceedings of the 18th International Conference of the North American Fuzzy Information Processing Society (NAFIPS ’99), pp. 42–46, New York City, NY. IEEE Press. http://cogprints.org/1479/
 Hewitt (2008b)
 Hewitt (2008a)
 Carl Hewitt. Formalizing common sense reasoning for scalable inconsistencyrobust information coordination using Direct Logic Reasoning and the Actor Model. in Vol. 52 of Studies in Logic. College Publications. ISBN 1848901593. 2015.
 See Lewis (1982).
 See Slater (1995), Béziau (2000).
Resources
 JeanYves Béziau; Walter Carnielli; Dov Gabbay, eds. (2007). Handbook of Paraconsistency. London: King's College. ISBN 9781904987734.
 Aoyama, Hiroshi (2004). "LK, LJ, Dual Intuitionistic Logic, and Quantum Logic". Notre Dame Journal of Formal Logic. 45 (4): 193–213. doi:10.1305/ndjfl/1099238445.
 Bertossi, Leopoldo, ed. (2004). Inconsistency Tolerance. Berlin: Springer. ISBN 3540242600.
 Brunner, Andreas & Carnielli, Walter (2005). "Antiintuitionism and paraconsistency". Journal of Applied Logic. 3 (1): 161–184. doi:10.1016/j.jal.2004.07.016.
 Béziau, JeanYves (2000). "What is Paraconsistent Logic?". In D. Batens; et al. (eds.). Frontiers of Paraconsistent Logic. Baldock: Research Studies Press. pp. 95–111. ISBN 0863802532.
 Bremer, Manuel (2005). An Introduction to Paraconsistent Logics. Frankfurt: Peter Lang. ISBN 3631534132.
 Brown, Bryson (2002). "On Paraconsistency". In Dale Jacquette (ed.). A Companion to Philosophical Logic. Malden, Massachusetts: Blackwell Publishers. pp. 628–650. ISBN 0631216715.
 Carnielli, Walter; Coniglio, Marcelo E.; Marcos, J (2007). "Logics of Formal Inconsistency". In D. Gabbay; F. Guenthner (eds.). Handbook of Philosophical Logic, Volume 14 (2nd ed.). The Netherlands: Kluwer Academic Publishers. pp. 1–93. ISBN 1402063237.
 Feferman, Solomon (1984). "Toward Useful TypeFree Theories, I". The Journal of Symbolic Logic. 49 (1): 75–111. doi:10.2307/2274093.
 Hewitt, Carl (2008a). "Largescale Organizational Computing requires Unstratified Reflection and Strong Paraconsistency". In Jaime Sichman; Pablo Noriega; Julian Padget; Sascha Ossowski (eds.). Coordination, Organizations, Institutions, and Norms in Agent Systems III. Lecture Notes in Computer Science. 4780. SpringerVerlag. doi:10.1007/9783540790037.
 Hewitt, Carl (2008b). "Common sense for concurrency and inconsistency tolerance using Direct Logic and the Actor model". arXiv:0812.4852 [cs.LO].
 Lewis, David (1998) [1982]. "Logic for Equivocators". Papers in Philosophical Logic. Cambridge: Cambridge University Press. pp. 97–110. ISBN 0521587883.
 Peña, Lorenzo (1996) [1996]. "Graham Priest's 'Dialetheism': Is it altogether true?". Sorites. 7: 28–56. hdl:10261/9714. Retrieved 20090503.
 Priest, Graham (2002). "Paraconsistent Logic.". In D. Gabbay; F. Guenthner (eds.). Handbook of Philosophical Logic. 6 (2nd ed.). The Netherlands: Kluwer Academic Publishers. pp. 287–393. ISBN 1402005830.
 Priest, Graham & Tanaka, Koji (2009) [1996]. "Paraconsistent Logic". Stanford Encyclopedia of Philosophy. Retrieved June 17, 2010. (First published Tue Sep 24, 1996; substantive revision Fri Mar 20, 2009)
 Slater, B. H. (1995). "Paraconsistent Logics?". Journal of Philosophical Logic. 24 (4): 451–454. doi:10.1007/BF01048355.
 Woods, John (2003). Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences. Cambridge: Cambridge University Press. ISBN 0521009340.
External links
 "Paraconsistent Logic". Internet Encyclopedia of Philosophy.
 Zalta, Edward N. (ed.). "Paraconsistent Logic". Stanford Encyclopedia of Philosophy.
 Zalta, Edward N. (ed.). "Inconsistent Mathematics". Stanford Encyclopedia of Philosophy.
 "World Congress on Paraconsistency, Ghent 1997, Juquehy 2000, Toulouse, 2003, Melbourne 2008, Kolkata, 2014"
 Paraconsistent FirstOrder Logic with infinite hierarchy levels of contradiction LP#. Axiomatical system HST#, as paraconsistent generalization of Hrbacek set theory HST
 O. Arieli, A. Avron, A. Zamansky, "Ideal Paraconsistent Logics"