Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

paraconsistent logic · Vinony

🌐English

English Deutsch Español Français Italiano Nederlands Polski Português Svenska Русский فارسی 한국어 中文日本語

EntityQ426592· pop 17· linked from 274 articles

paraconsistent logic

type of formal logic without explosion principle

Available in 17 languages

Español
Français
Deutsch
中文
日本語
Русский
Português
Italiano
Catalan
Esperanto

Connections

principle of excluded middle

Categories

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

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

logical consequence

Entity

many-valued logic

three-state logic

relevance logic

double negation

Francisco Miró Quesada Cantuarias

Artificial intelligence

Sign in to save

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