Editing Paraconsistent logic (section)

== 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]], 1927-2013)
* [[Diderik Batens]] (Belgium)
* [[Nuel Belnap]] (United States, b. 1930) developed logical connectives of a [[four-valued logic]].
* [[Jean-Yves 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  ''possible-translations semantics'',  a new semantics which makes paraconsistent logics applicable and philosophically understood.
* [[Newton da Costa]] ([[Brazil]], 1929-2024). 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 (philosopher)|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).