Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Paraconsistent logic
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
==Resources== * {{cite book |title=Handbook of Paraconsistency |editor=Jean-Yves Béziau |editor-link=Jean-Yves Béziau |editor2=Walter Carnielli |editor2-link=Walter Carnielli |editor3=Dov Gabbay |editor3-link=Dov Gabbay |location=London |publisher=King's College |year=2007 |isbn=978-1-904987-73-4}} * {{cite journal | author=Aoyama, Hiroshi | title= LK, LJ, Dual Intuitionistic Logic, and Quantum Logic | journal=Notre Dame Journal of Formal Logic | year=2004 | volume=45 | issue= 4 | pages= 193–213 | doi=10.1305/ndjfl/1099238445| doi-access=free }} * {{cite book |editor-last=Bertossi |editor-first=Leopoldo| title=Inconsistency Tolerance | year=2004 | publisher=Springer | location=Berlin | isbn=3-540-24260-0 }} * {{cite journal |author1=Brunner, Andreas |author2=Carnielli, Walter |name-list-style=amp | title= Anti-intuitionism and paraconsistency | journal= [[Journal of Applied Logic]] | year=2005 | volume=3 | issue= 1 | pages= 161–184 | doi=10.1016/j.jal.2004.07.016| doi-access=free }} * {{cite book | last=Béziau | first=Jean-Yves | editor=D. Batens |display-editors=et al.| title=Frontiers of Paraconsistent Logic | year=2000 | publisher=Research Studies Press | location=Baldock | isbn=0-86380-253-2 | pages=95–111 | chapter=What is Paraconsistent Logic?}} * {{cite book | last=Bremer | first=Manuel | title=An Introduction to Paraconsistent Logics | year=2005 | publisher=Peter Lang | location=Frankfurt | isbn=3-631-53413-2}} * {{cite book | last=Brown | first=Bryson | editor=Dale Jacquette| title=A Companion to Philosophical Logic | url=https://archive.org/details/companiontophilo00jacq | url-access=limited | year=2002 | publisher=Blackwell Publishers | location=Malden, Massachusetts | isbn=0-631-21671-5 | pages=[https://archive.org/details/companiontophilo00jacq/page/n642 628]–650 | chapter=On Paraconsistency}} * {{cite book | last=Carnielli | first=Walter |author2=Coniglio, Marcelo E. |author3=Marcos, J. | editor=D. Gabbay | editor-link=Dov Gabbay |editor2=F. Guenthner | title=Handbook of Philosophical Logic, Volume 14 | edition=2nd | year=2007 | publisher=[[Kluwer Academic Publishers]] | location=The Netherlands | isbn=978-1-4020-6323-7 | pages=1–93 | chapter=Logics of Formal Inconsistency}} * {{cite journal|author=Feferman, Solomon | year=1984 | title=Toward Useful Type-Free Theories, I |doi=10.2307/2274093 |pages=75–111|volume=49|issue=1|journal=The Journal of Symbolic Logic| jstor=2274093 | s2cid=10575304 }} * {{cite conference | author=Hewitt, Carl |year=2008a | title=Large-scale Organizational Computing requires Unstratified Reflection and Strong Paraconsistency |book-title=Coordination, Organizations, Institutions, and Norms in Agent Systems III |editor1=Jaime Sichman |editor2=Pablo Noriega |editor3=Julian Padget |editor4=Sascha Ossowski |series=Lecture Notes in Computer Science |volume=4780 |publisher=Springer-Verlag |doi=10.1007/978-3-540-79003-7}} * {{cite arXiv | author=Hewitt, Carl |year=2008b | title=Common sense for concurrency and inconsistency tolerance using Direct Logic and the Actor model |eprint=0812.4852 | class=cs.LO}} * {{cite book | last=Lewis | first=David | title=Papers in Philosophical Logic | url=https://archive.org/details/papersphilosophi01lewi | url-access=limited | orig-year=1982 | year=1998 | publisher=Cambridge University Press | location=Cambridge | isbn=0-521-58788-3 | pages=[https://archive.org/details/papersphilosophi01lewi/page/n102 97]–110 | chapter=Logic for Equivocators}} * {{cite journal | last=Peña | first=Lorenzo | author-link=Lorenzo Peña | title=Graham Priest's 'Dialetheism': Is it altogether true? | orig-year=1996 | url=http://lp.jurid.net/articles/logica/dialethe.htm | hdl=10261/9714 | access-date=2009-05-03 | journal=Sorites | year=1996 | volume=7 | pages=28–56 | archive-url=https://web.archive.org/web/20110704184243/http://lp.jurid.net/articles/logica/dialethe.htm | archive-date=2011-07-04 | url-status=dead }} * {{cite book | last=Priest | first=Graham |editor= D. Gabbay |editor-link= Dov Gabbay |editor2=F. Guenthner| title=Handbook of Philosophical Logic |volume=6 | edition=2nd | year=2002 | publisher=[[Kluwer Academic Publishers]] | location=The Netherlands | isbn=1-4020-0583-0 | pages=287–393 | chapter=Paraconsistent Logic.}} * {{cite encyclopedia |author1=Priest, Graham |author2=Tanaka, Koji |name-list-style=amp | orig-year=1996| year=2009 | title=Paraconsistent Logic | encyclopedia=[[Stanford Encyclopedia of Philosophy]] | url=http://plato.stanford.edu/entries/logic-paraconsistent/ | access-date= June 17, 2010}} (First published Tue Sep 24, 1996; substantive revision Fri Mar 20, 2009) * {{cite journal | author=Slater, B. H. | title= Paraconsistent Logics? | journal=Journal of Philosophical Logic | year=1995 | volume=24 | pages= 451–454 | doi=10.1007/BF01048355 | issue=4| s2cid= 12125719 }} * {{cite book | last=Woods | first=John | title=Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences | year=2003 | publisher=[[Cambridge University Press]] | location=Cambridge | isbn=0-521-00934-0}} *{{cite journal|author1=De Carvalho, A.|author2=Justo, J. F.|author3=De Oliveira, A. M.|author4=Da Silva Filho, J. I.|title=A comprehensive review on paraconsistent annotated evidential logic: Algorithms, Applications, and Perspectives|journal=Engineering Applications of Artificial Intelligence|year=2024|volume=127B|pages=107342|issn=0952-1976|doi=10.1016/j.engappai.2023.107342}}
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)