Keyword

paraconsistent logic

Description: A non-classical formal logic in which contradictions do not entail every proposition, avoiding the principle of explosion.

Primary topic: Advanced Algebra and Logic (35%)

Wikidata ID: wiki/Q426592

OpenAlex ID: keywords/paraconsistent-logic

An Introduction to Non-Classical Logic

2008 · Graham Priest · Cambridge University Press eBooks · 712

A Unifying Field in Logics: Neutrosophic Logic.

1999 · Florentín Smarandache · CogPrints (University of Southampton) · 669

Paraconsistent Logic

2002 · Graham Priest · Springer eBooks · 512

Relevant logics and their rivals

1982 · Richard Routley, Val Plumwood, et al. · Medical Entomology and Zoology · 476

Logics of Formal Inconsistency

2007 · Walter Carnielli, Marcelo E. Coniglio, et al. · Springer eBooks · 420

In Contradiction, A Study of the Transconsistent.

1991 · Joel M. Smith, Graham Priest · Noûs · 402

From heaps and gaps to heaps of gluts

1997 · D Hyde · Mind · 400

Semi-stable semantics

2011 · M. W. A. Caminada, W. A. Carnielli, et al. · Journal of Logic and Computation · 358

Propositional calculus for contradictory deductive systems

1969 · Stanisław Jaśkowski · Studia Logica · 332

Paraconsistent logic programming

1989 · Howard A. Blair, V.S. Subrahmanian · Theoretical Computer Science · 295

Paraconsistent logic: essays on the inconsistent

1990 · Lorenzo Peña y Gonzalo · Contextos · 265

Reasoning with logical bilattices

1996 · Ofer Arieli, Arnon Avron · Journal of Logic Language and Information · 263

Natural 3-valued logics—characterization and proof theory

1991 · Arnon Avron · Journal of Symbolic Logic · 261

Minimally inconsistent LP

1991 · Graham Priest · Studia Logica · 257

The Method of Hypersequents in the Proof Theory of Propositional Non-classical Logics

1996 · Amon Avron · 248

Non-standard logics for automated reasoning

1990 · Ian Graham · Fuzzy Sets and Systems · 233

Inconsistent Mathematics

1995 · Chris Mortensen · Springer eBooks · 209

Substructural Logics: A Primer

2002 · Francesco Paoli · Trends in logic · 193

Paraconsistent Logic: Consistency, Contradiction and Negation

2016 · Walter Carnielli, Marcelo Esteban Coniglio · Logic, epistemology, and the unity of science · 190

Paraconsistent Logics

1998 · Anthony Hunter · Springer eBooks · 165

An Introduction to Non-Classical Logic: From If to Is

2010 · Sam Butchart · Australasian Journal of Philosophy · 162

Curry's Paradox

1979 · R. K. Meyer, R. Routley, et al. · Analysis · 156

Two Flavors of Curry’s Paradox

2013 · Jc Beall, Julien Murzi · The Journal of Philosophy · 153

Paraconsistent Logics and Paraconsistency

2007 · Newton C.A. da Costa, Décio Krause, et al. · Elsevier eBooks · 151

Constructive Negations and Paraconsistency

2008 · Sergei P. Odintsov · Springer eBooks · 144

Works count: 3,814

Citation count: 30,280