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.

intermediate logic · Vinony

EntityQ5361594· pop 7· linked from 68 articles

intermediate logic

Sign in to save

propositional logic extending intuitionistic logic

Connections

three-state logic

Kripke semantics

International Standard Book Number

digital object identifier

mathematical logic

Oxford University Press

propositional calculus

Augustus De Morgan

De Morgan's laws

principle of excluded middle

Categories

Non-classical logic Propositional calculus Systems of formal logic

Sources

wikipedia.externallinksexternallink

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

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