Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

paraconsistent logic · Vinony

EntityQ426592· pop 17· linked from 274 articles

paraconsistent logic

Sign in to save

type of formal logic without explosion principle

Connections

principle of excluded middle

logical consequence

many-valued logic

three-state logic

relevance logic

double negation

Francisco Miró Quesada Cantuarias

Artificial intelligence

Categories

Belief revision Non-classical logic Paraconsistent logic Philosophical logic Systems of formal logic

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

classical logic

Entitydist 0.41

Entitydist 0.44

dialogical logic

Entitydist 0.45

substructural logic

Entitydist 0.45

philosophy of logic

Entitydist 0.46

propositional formula

Entitydist 0.47

Situation calculus

Entitydist 0.48

logic programming

Entitydist 0.48

Entitydist 0.49

sequent calculus

Entitydist 0.49

logical language

Entitydist 0.49

Entitydist 0.50

What links here274 pages

non-monotonic logic

mathematical analysis

description logic

Jaakko Hintikka

logical positivism

dialectical logic

The Structure of Scientific Revolutions

Stanisław Jaśkowski

logical contradiction

logical possibility

substructural logic

Adolf Grünbaum

analytic philosophy

rule of inference