A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. In formal logic, a formal system (also called a logical system, a logistic system, or simply a logic Formal systems in mathematics consist In Classical logic, a contradiction consists of a logical incompatibility between two or more Propositions It occurs when the propositions taken together yield Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or "inconsistency-tolerant") systems of logic. Logic is the study of the principles of valid demonstration and Inference.

Inconsistency-tolerant logics have been around since at least 1910 (and arguably much earlier, for example in the writings of Aristotle); however, the term paraconsistent ("beyond the consistent") was not coined until 1976, by the Peruvian philosopher Francisco Miró Quesada. Aristotle (Greek Aristotélēs) (384 BC – 322 BC was a Greek philosopher a student of Plato and teacher of Alexander the Great. Philosophy is the study of general problems concerning matters such as existence knowledge truth beauty justice validity mind and language [1]

## Definition

In classical logic (as well as intuitionistic logic and most other logics), contradictions entail everything. Classical logic identifies a class of Formal logics that have been most intensively studied and most widely used Intuitionistic logic, or constructivist logic, is the Symbolic logic system originally developed by Arend Heyting to provide a formal basis for Brouwer This curious feature, known as the principle of explosion or ex contradictione sequitur quodlibet ("from a contradiction, anything follows"), can be expressed formally as

$A, \neg A \vdash B$

where $\vdash$ represents logical consequence. The principle of explosion is the law of Classical logic and a few other systems (e "Therefore" redirects here For the symbol see Therefore sign. Thus if a theory contains a single inconsistency, it is trivial—that is, it has every sentence as a theorem. The word theory has many distinct meanings in different fields of Knowledge, depending on their methodologies and the context of discussion. Trivialism is the thesis that every Proposition is true A Consequence of trivialism is that all statements including all Contradictions of the form "p 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 non-trivial theories.

## Paraconsistent logics are typically weaker than classical logic

It should be emphasized that paraconsistent logics are in general weaker than classical logic; that is, they deem fewer inferences valid. Classical logic identifies a class of Formal logics that have been most intensively studied and most widely used (Strictly speaking, a paraconsistent logic may validate inferences that are classically invalid, though this is rarely the case. The point is that a paraconsistent logic can never be an extension of classical logic, that is, validate everything that classical logic does. ) In that sense, then, paraconsistent logic is more "conservative" or "cautious" than classical logic.

## Motivation

The 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. Information as a concept has a diversity of meanings from everyday usage to technical settings The principle of explosion precludes this, and so must be abandoned. In non-paraconsistent 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. Sometimes it is possible to revise a theory to make it consistent. In other cases (e. g. , large software systems) it is currently impossible to attain consistency.

Paraconsistency does not come for free: it involves a tradeoff. In particular, abandoning the principle of explosion requires one to abandon at least one of the following four very intuitive principles:[2]

 Disjunction introduction $A \vdash A \lor B$ Disjunctive syllogism $A \lor B, \neg A \vdash B$ Transitivity or "cut" $\Gamma \vdash A; A \vdash B \Rightarrow \Gamma \vdash B$ Double negation elimination $\neg \neg A \vdash A$

Though each of these principles has been challenged, the most popular approach among logicians is to reject disjunctive syllogism. Disjunction introduction or Addition is a valid, simple Argument form in Logic: A A disjunctive syllogism, historically known as Modus tollendo ponens, is a classically valid, simple Argument form: P or Q In Mathematics, a Binary relation R over a set X is transitive if whenever an element a is related to an element b In Proof theory and Mathematical logic, the sequent calculus is a widely known Proof calculus for First-order logic (and Propositional logic In Propositional logic, the inference rules double negative elimination (also called double negation elimination, double negative introduction, double If one is a dialetheist, it makes perfect sense that disjunctive syllogism should fail. For suppose that both A and ¬A are true but B is not. Then A v B is true, since its left disjunct is true. Thus the premises, A v B and ¬A, are true but the conclusion, B, is not.

However, for the purposes of large software systems, the most natural approach is to keep disjunctive syllogism and reject disjunction introduction (according to Hewitt [2007]). The argument is that since large software systems are pervasively inconsistent, it follows that truth is out the window. Consequently the argument above for the rule of disjunction introduction doesn't carry much weight. Instead of disjunction introduction, the rules of disjunctive cases and conjunction infers disjunction is used where

 Disjunctive Cases $(A \lor B), (A \vdash C), (B \vdash C) \vdash C$ Conjunction infers Disjunction $(A \wedge B) \vdash (A \lor B)$

In the new approach for large software systems, $\lor$ and $\rightarrow$ are intuitively defined as follows:

 Disjunction $(A \lor B) \equiv \neg(\neg A \wedge \neg B)$ Implication $(A \rightarrow B) \equiv \neg(A \wedge \neg B)$

The connectives $\lor$, $\wedge$, $\rightarrow$, and $\neg$ satisfy the usual equivalences (idempotence, associativity, commutativity, distributivity, De Morgan, contrapositive, and double negation elimination) except that there is no true or false. Case analysis is one of the most general and applicable methods of analytical thinking depending only on the division of a problem decision or situation into a sufficient number of separate Idempotence ˌaɪdɨmˈpoʊtəns describes the property of operations in Mathematics and Computer science which means that multiple applications of the operation In Mathematics, associativity is a property that a Binary operation can have In Mathematics, commutativity is the ability to change the order of something without changing the end result In Mathematics, and in particular in Abstract algebra, distributivity is a property of Binary operations that generalises the distributive law In Logic, De Morgan's laws or De Morgan's theorem are rules in Formal logic relating pairs of dual Logical operators in a systematic manner expressed For contraposition in the field of traditional logic see Contraposition (traditional logic. A double negative occurs when two forms of Negation are used in the same sentence. All of the rules of natural deduction hold except for disjunction introduction and proof by contradiction. In Philosophical logic, natural deduction is an approach to Proof theory that attempts to provide a Deductive system which is a formal model of logical Disjunction introduction or Addition is a valid, simple Argument form in Logic: A Reductio ad absurdum ( Latin for "reduction to the absurd" also known as an apagogical argument, reductio ad impossibile The deduction theorem takes the following form:

 Two-way Deduction Theorem $(\vdash(A \rightarrow B)) \equiv ((A \vdash B) \wedge (\neg B \vdash \neg A))$

The three principles below, when taken together, also entail explosion, so at least one must be abandoned:

 Reductio ad absurdum $A \to (B \wedge \neg B) \vdash \neg A$ Rule of weakening $A \vdash B \to A$ Double negation elimination $\neg \neg A \vdash A$

Both reductio ad absurdum and the rule of weakening have been challenged in this respect. Reductio ad absurdum ( Latin for "reduction to the absurd" also known as an apagogical argument, reductio ad impossibile In Proof theory, a structural rule is an Inference rule that does not refer to any logical Connective, but instead operates on the judgements or Sequents In Propositional logic, the inference rules double negative elimination (also called double negation elimination, double negative introduction, double Double negation elimination is challenged, but for unrelated reasons. Removing it alone would still allow all negative propositions to be proven from a contradiction.

## A simple paraconsistent logic

Perhaps the most well-known system of paraconsistent logic is the simple system known as LP ("Logic of Paradox"), first proposed by the Argentinian logician F. For a topic outline on this subject see List of basic Argentina topics. G. Asenjo in 1966 and later popularized by Priest and others. Graham Priest (born 1948, London) is Boyce Gibson Professor of Philosophy at the University of Melbourne and a regular visitor at St [3]

One way of presenting the semantics for LP is to replace the usual functional valuation with a relational one. The Mathematical concept of a function expresses dependence between two quantities one of which is given (the independent variable, argument of the function This article sets out the set-theoretic notion of relation For a more elementary point of view see Binary relations and Triadic relations [4] The binary relation V relates a formula to a truth value: V(A,1) means that A is true, and V(A,0) means that A is false. In Mathematical logic, a well-formed formula (often abbreviated WFF, pronounced "wiff" or "wuff" is a Symbol or string of symbols (a In Logic and Mathematics, a logical value, also called a truth value, is a value indicating the extent to which a Proposition is true 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:

• $V( \neg A,1) \Leftrightarrow V(A,0)$
• $V( \neg A,0) \Leftrightarrow V(A,1)$
• $V(A \lor B,1) \Leftrightarrow V(A,1) \ or \ V(B,1)$
• $V(A \lor B,0) \Leftrightarrow V(A,0) \ and \ V(B,0)$

(The other logical connectives are defined in terms of negation and disjunction as usual. In Logic and Mathematics, negation or not is an operation on Logical values for example the logical value of a Proposition Table of logic symbolsIn Logic, two sentences (either in a formal language or a natural language may be joined by means of a logical connective to form a compound sentence ) 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 truth-preservation:

Γ $\vDash$ A if and only if A is true whenever every element of Γ is true.

Now consider a valuation V such that V(A,1) and V(A,0) but it is not the case that V(B,1). It is easy to check that this valuation constitutes a counterexample to both explosion and disjunctive syllogism. In Logic, and especially in its applications to Mathematics and Philosophy, a counterexample is an exception to a proposed general rule i However, it is also a counterexample to modus ponens for the material conditional of LP. In Classical logic, modus ponendo ponens ( Latin: mode that affirms by affirming; often abbreviated to MP or modus ponens) is a The material conditional, also known as the material implication or truth functional conditional, expresses a property of certain Conditionals in Logic 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. [5]

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. In Logic, De Morgan's laws or De Morgan's theorem are rules in Formal logic relating pairs of dual Logical operators in a systematic manner expressed In Philosophical logic, natural deduction is an approach to Proof theory that attempts to provide a Deductive system which is a formal model of logical Surprisingly, the logical truths (or tautologies) of LP are precisely those of classical propositional logic. The term validity (also called logical truth, analytic truth, or necessary truth) as it occurs in Logic refers generally to a property of In Propositional logic, a tautology (from the Greek word ταυτολογία is a Propositional formula that is true under any possible valuation [6] (LP and classical logic differ only in the inferences they deem valid. Inference is the act or process of deriving a Conclusion based solely on what one already knows ) Relaxing the requirement that every formula be either true or false yields the weaker paraconsistent logic commonly known as FDE ("First-Degree Entailment"). Unlike LP, FDE contains no logical truths.

It must be emphasized that LP is but one of many paraconsistent logics that have been proposed. [7] 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. Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications be relevantly related A logic is relevant iff it satisfies the following condition:

if AB is a theorem, then A and B share a non-logical constant. In Symbolic logic, a logical constant of a language L is a Symbol that has the same semantic value in all models of (the expressions

It follows that a relevance logic cannot have p & ¬pq as a theorem, and thus (on reasonable assumptions) cannot validate the inference from {p, ¬p} to q.

Paraconsistent logic has significant overlap with many-valued logic; however, not all paraconsistent logics are many-valued (and, of course, not all many-valued logics are paraconsistent). Multi-valued logics are logical calculi in which there are more than two Truth values Traditionally logical calculi are two-valued—that is there are only two possible

Intuitionistic logic allows A v ¬A to be false, while paraconsistent logic allows A & ¬A to be true. Thus it seems natural to regard paraconsistent logic as the "dual" of intuitionistic logic. In Mathematics, duality has numerous meanings Generally speaking duality is a metamathematical involution. However, intuitionistic logic is a specific logical system whereas paraconsistent logic encompasses a large class of systems. Accordingly, the "dual" of intuitionistic logic is a specific paraconsistent system called dual-intuitionistic logic (sometimes referred to as Brazilian logic, for historical reasons). [8] The duality between the two systems is best seen within a sequent calculus framework. In Proof theory and Mathematical logic, the sequent calculus is a widely known Proof calculus for First-order logic (and Propositional logic While in intuitionistic logic the sequent

$\vdash A \lor \neg A$

is not derivable, in dual-intuitionistic logic

$A \land \neg A \vdash$

is not derivable. Similarly, in intuitionistic logic the sequent

$\neg \neg A \vdash A$

is not derivable, while in dual-intuitionistic logic

$A \vdash \neg \neg A$

is not derivable. Dual-intuitionistic logic contains a connective # which is the dual of intuitionistic implication. Very loosely, A # B can be read as ' A but not B '. However, # is not truth-functional as one might expect a 'but not' operator to be. Truth functional' redirects here for the truth functional conditional see Material conditional.

## Applications

Paraconsistent logic has been applied as a means of managing inconsistency in numerous domains, including:[9]

• Semantics. Semantics is the study of meaning in communication The word derives from Greek σημαντικός ( semantikos) "significant" from 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. The meaning of the word truth extends from Honesty, Good faith, and Sincerity in general to agreement with Fact or Reality In Philosophy and Logic, the liar paradox, known to the ancients as the pseudomenon, encompasses Paradoxical statements such as "This However, such systems must also avoid Curry's paradox, which is much more difficult as it does not essentially involve negation. Curry's paradox is a Paradox that occurs in Naive set theory or naive Logics and allows the derivation of an arbitrary sentence from a self-referring sentence
• Set theory and the foundations of mathematics (see paraconsistent mathematics). Foundations of mathematics is a term sometimes used for certain fields of Mathematics, such as Mathematical logic, Axiomatic set theory, Proof theory Paraconsistent mathematics (sometimes called inconsistent mathematics) represents an attempt to develop the classical infrastructure of Mathematics (e Some believe that paraconsistent logic has significant ramifications with respect to the significance of Russell's paradox and Gödel's incompleteness theorems. Part of the Foundations of mathematics, Russell's paradox (also known as Russell's antinomy) discovered by Bertrand Russell in 1901 showed that the In Mathematical logic, Gödel's incompleteness theorems, proved by Kurt Gödel in 1931 are two Theorems stating inherent limitations of all but the most
• Epistemology and belief revision. Epistemology (from Greek επιστήμη - episteme, "knowledge" + λόγος, " Logos " or theory of knowledge Belief revision is the process of changing beliefs to take into account a new piece of information Paraconsistent logic has been proposed as a means of reasoning with and revising inconsistent theories and belief systems.
• Knowledge management and artificial intelligence. Knowledge Management (KM Some computer scientists have utilized paraconsistent logic as a means of coping gracefully with inconsistent information. A computer scientist is a person that has acquired knowledge of Computer science, the study of the theoretical foundations of information and computation and their application [10]
• Deontic logic and metaethics. Deontic logic is the field of Logic that is concerned with Obligation, Permission, and related concepts In Philosophy, meta-ethics (sometimes called "analytic ethics" is the branch of Ethics that seeks to understand the nature of ethical properties Paraconsistent logic has been proposed as a means of dealing with ethical and other normative conflicts.
• Software engineering. Software engineering is the application of a systematic disciplined quantifiable approach to the development operation and maintenance of Software. 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. Documentation may refer to the process of providing evidence ("to document something" or to the communicable material used to provide such documentation (i A use case is a description of a system’s behaviour as it responds to a request that originates from outside of that system In Computer science, source code (commonly just source or code) is any sequence of statements or declarations written in some Human-readable A software system is a System based on Software forming part of a Computer system (a combination of hardware and software

## Criticism

Some philosophers have argued against paraconsistent logic on the ground 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. David Kellogg Lewis ( September 28, 1941  &ndash October 14, 2001) is considered to have been one of the leading philosophers of the latter [11] A related objection is that "negation" in paraconsistent logic is not really negation; it is merely a subcontrary-forming operator. In Logic and Mathematics, negation or not is an operation on Logical values for example the logical value of a Proposition In the system of Aristotelian logic, the square of opposition is a diagram representing the different ways in which each of the four Propositions of the system [12]

## 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 Dempster-Shafer theory, allowing that no non-tautological belief is completely (100%) irrefutable because it must be based upon incomplete, abstracted, interpreted, likely unconfirmed, potentially uninformed, and possibly incorrect knowledge. Multi-valued logics are logical calculi in which there are more than two Truth values Traditionally logical calculi are two-valued—that is there are only two possible Bayesian inference is Statistical inference in which evidence or observations are used to update or to newly infer the Probability that a hypothesis may be true The Dempster-Shafer theory is a mathematical theory of Evidence based on belief functions and plausible reasoning, which is used to combine separate pieces 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 (USA, 1925–1973). The aim of a probabilistic logic (or probability logic) is to combine the capacity of Probability theory to handle uncertainty with the capacity of Deductive Alan Ross Anderson, born 1925 was an American Logician and Professor of Philosophy at Yale University and the University of The United States of America —commonly referred to as the One of the founders of relevance logic, a kind of paraconsistent logic. Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications be relevantly related
• F. G. Asenjo (Argentina)
• Diderik Batens (Belgium)
• Nuel Belnap (USA, b. For a topic outline on this subject see List of basic Argentina topics. Diderik Batens (born 1944 is a Belgian logician and epistemologist at the University of Ghent, known chiefly for his work on adaptive and The Kingdom of Belgium is a Country in northwest Europe. It is a founding member of the European Union and hosts its headquarters as well as those Nuel D Belnap Jr (born 1930 is an American logician and philosopher who has made many important contributions to the Philosophy of logic, Temporal logic, and The United States of America —commonly referred to as the 1930). Worked with Anderson on relevance logic.
• Jean-Yves Béziau (France/Switzerland, b. Jean-Yves Béziau (born January 15, 1965 in Orléans France) is an assistant professor and researcher This article is about the country For a topic outline on this subject see List of basic France topics. Switzerland (English pronunciation; Schweiz Swiss German: Schwyz or Schwiiz Suisse Svizzera Svizra officially the Swiss Confederation 1965). Has written extensively on the general structural features and philosophical foundations of paraconsistent logics.
• Walter Carnielli (Brazil)
• Newton da Costa (Brazil, b. For a topic outline on this subject see List of basic Australia topics. Country to "Dominion of Canada" or "Canadian Federation" or anything else please read the Talk Page |utc_offset = -2 to -4 |time_zone_DST = BRST |utc_offset_DST = -2 to -5 |cctld Newton Carneiro Affonso da Costa (born on 16 September in 1929 in Curitiba, Brazil) Professor Emeritus is a Brazilian Mathematician, Logician |utc_offset = -2 to -4 |time_zone_DST = BRST |utc_offset_DST = -2 to -5 |cctld 1929). One of the first to develop formal systems of paraconsistent logic.
• Itala M. L. D'Ottaviano (Brazil)
• J. |utc_offset = -2 to -4 |time_zone_DST = BRST |utc_offset_DST = -2 to -5 |cctld Michael Dunn (USA). The United States of America —commonly referred to as the An important figure in relevance logic.
• Stanisław Jaśkowski (Poland). Stanisław Jaśkowski ( April 22, 1906 &ndash November 16, 1965) was a Polish Logician who made important contributions Poland (Polska officially the Republic of Poland One of the first to develop formal systems of paraconsistent logic.
• David Kellogg Lewis (USA, 1941–2001). Country to "Dominion of Canada" or "Canadian Federation" or anything else please read the Talk Page David Kellogg Lewis ( September 28, 1941  &ndash October 14, 2001) is considered to have been one of the leading philosophers of the latter Articulate critic of paraconsistent logic.
• Jan Łukasiewicz (Poland, 1878–1956)
• Robert K. Jan Łukasiewicz (ˈjan wukaˈɕɛvʲitʂ ( 21 December, 1878 &ndash 13 February, 1956) was a Polish Mathematician born Poland (Polska officially the Republic of Poland Meyer (USA/Australia)
• Chris Mortensen (Australia). The United States of America —commonly referred to as the For a topic outline on this subject see List of basic Australia topics. For a topic outline on this subject see List of basic Australia topics. Has written extensively on paraconsistent mathematics. Paraconsistent mathematics (sometimes called inconsistent mathematics) represents an attempt to develop the classical infrastructure of Mathematics (e
• Val Plumwood [formerly Routley] (Australia, b. Val Plumwood ( 11 August 1939 – c 28 February 2008) formerly Val Routley, was an Australian ecofeminist intellectual For a topic outline on this subject see List of basic Australia topics. 1939). Frequent collaborator with Sylvan.
• Graham Priest (Australia). Graham Priest (born 1948, London) is Boyce Gibson Professor of Philosophy at the University of Melbourne and a regular visitor at St For a topic outline on this subject see List of basic Australia topics. Perhaps the most prominent advocate of paraconsistent logic in the world today.
• Francisco Miró Quesada (Peru). Peru (Perú Piruw Piruw officially the Republic of Peru ( reˈpuβlika del peˈɾu is a country in western South America. Coined the term paraconsistent logic.
• B. Country to "Dominion of Canada" or "Canadian Federation" or anything else please read the Talk Page H. Slater (Australia). For a topic outline on this subject see List of basic Australia topics. Another articulate critic of paraconsistent logic.
• Richard Sylvan [formerly Routley] (New Zealand/Australia, 1935–1996). Richard Sylvan, ( 13 December 1935 - 16 June 1996) was a Philosopher, Logician, Environmentalist, and Anarchist New Zealand is an Island country in the south-western Pacific Ocean comprising two main landmasses (the North Island and the South Island For a topic outline on this subject see List of basic Australia topics. Important figure in relevance logic and a frequent collaborator with Plumwood and Priest.
• Nicolai A. Vasiliev (Russia, 1880–1940). Vasiliev Nicolai Alexandrovich (Николай Александрович Васильев also Vasil'ev, Vassilieff, Wassilieff (–1940 was a Russia (Россия Rossiya) or the Russian Federation ( Rossiyskaya Federatsiya) is a transcontinental Country extending First to construct logic tolerant to contradiction (1910).

## Notes

1. ^ Priest (2002), p. 288 and §3. 3.
2. ^ See the article on the principle of explosion for more on this. The principle of explosion is the law of Classical logic and a few other systems (e
3. ^ Priest (2002), p. 306.
4. ^ LP is also commonly presented as a many-valued logic with three truth values (true, false, and both). Multi-valued logics are logical calculi in which there are more than two Truth values Traditionally logical calculi are two-valued—that is there are only two possible
5. ^ See, for example, Priest (2002), §5.
6. ^ See Priest (2002), p. 310.
7. ^ Surveys of various approaches to paraconsistent logic can be found in Bremer (2005) and Priest (2002).
8. ^ See Aoyama (2004).
9. ^ Most of these are discussed in Bremer (2005) and Priest (2002).
10. ^ See, for example, the articles in Bertossi et al. (2004).
11. ^ See Lewis (1982).
12. ^ See Slater (1995), Béziau (2000).

## Resources

• 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. A digital object identifier ( DOI) is a permanent identifier given to an Electronic document.
• Bertossi, Leopoldo et al. , eds. (2004). Inconsistency Tolerance. Berlin: Springer. ISBN 3-540-24260-0.
• Béziau, Jean-Yves (2000). "What is Paraconsistent Logic?", in In D. Batens et al. (eds. ): Frontiers of Paraconsistent Logic. Baldock: Research Studies Press, 95-111. ISBN 0-86380-253-2.
• Bremer, Manuel (2005). An Introduction to Paraconsistent Logics. Frankfurt: Peter Lang. ISBN 3-631-53413-2.
• Brown, Bryson (2002). "On Paraconsistency. ", in In Dale Jacquette (ed. ): A Companion to Philosophical Logic. Malden, Massachusetts: Blackwell Publishers, 628-650. ISBN 0-631-21671-5.
• Lewis, David [1982] (1998). "Logic for Equivocators", Papers in Philosophical Logic. Cambridge: Cambridge University Press, 97–110. ISBN 0-521-58788-3.
• Priest, Graham (2002). "Paraconsistent Logic. ", in In D. Gabbay and F. Dov M Gabbay is Augustus De Morgan Professor of Logic at the Group of Logic, Language and Computation, Department of Guenthner (eds. ): Handbook of Philosophical Logic, Volume 6, 2nd ed. , The Netherlands: Kluwer Academic Publishers, 287-393. Springer Science+Business Media or Springer (ˈʃpʁɪŋɐ is a worldwide Publishing company based in Germany, which publishes textbooks academic ISBN 1-4020-0583-0.
• Priest, Graham and Tanaka, Koji (2001). Paraconsistent Logic. Stanford Encyclopedia of Philosophy (Winter 2004 edition). The Stanford Encyclopedia of Philosophy (SEP is a freely-accessible Online encyclopedia of Philosophy maintained by Stanford University. Retrieved on February 24, 2006.
• Slater, B. H. (1995). "Paraconsistent Logics?". Journal of Philosophical Logic 24: 233–254. doi:10.1007/BF01048355. A digital object identifier ( DOI) is a permanent identifier given to an Electronic document.
• Woods, John (2003). Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences. Cambridge: Cambridge University Press. Cambridge University Press (known colloquially as CUP is a Publisher given a Royal Charter by Henry VIII in 1534 ISBN 0-521-00934-0.
• Hewitt, Carl (2008). Large-scale Organizational Computing requires Unstratified Reflection and Strong Paraconsistency. Coordination, Organizations, Institutions, and Norms in Agent Systems III. Retrieved on March 31, 2008. Jaime Sichman, Pablo Noriega, Julian Padget and Sascha Ossowski (ed. ). Springer-Verlag. 2008.