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.

intermediate logic · Vinony

🌐English

English Español Português Русский فارسی 한국어 中文日本語

EntityQ5361594· pop 7· linked from 68 articles

intermediate logic

Also known as superintuitionistic logic

propositional logic extending intuitionistic logic

Available in 7 languages

中文
日本語
Русский
Português
فارسی
한국어

via Wikidata sitelinks · CC0

Connections

three-state logic

Kripke semantics

Categories

Non-classical logic Propositional calculus Systems of formal logic

Sources

wikipedia.externallinksexternallink

International Standard Book Number

Entity

digital object identifier

mathematical logic

Oxford University Press

propositional calculus

Augustus De Morgan

De Morgan's laws

principle of excluded middle

Sign in to save

Similar entities

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

Entitydist 0.57

Entitydist 0.61

Warren Abstract Machine

Entitydist 0.61

Category:mul:Logic

Entitydist 0.62

Entitydist 0.64

Carroll diagram

Entitydist 0.64

Entitydist 0.64

Entitydist 0.65

Entitydist 0.65

Entitydist 0.65

Category:ja:Logic

Entitydist 0.65

partially ordered set

Entitydist 0.67

What links here68 pages

intuitionistic logic

non-classical logic

many-valued logic

logical contradiction

substructural logic

Heyting arithmetic

intuitionistic type theory

Outline of philosophy

principle of excluded middle

Heyting algebra

Łukasiewicz logic

De Morgan's laws

relevance logic