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.

substructural logic · Vinony

EntityQ839490· pop 6· linked from 72 articles

substructural logic

Sign in to save

type of logic

Connections

three-state logic

relevance logic

International Standard Book Number

digital object identifier

International Standard Serial Number

commutative property

propositional calculus

logical conjunction

Stanford Encyclopedia of Philosophy

Categories

Non-classical logic Substructural logic

Sources

wikipedia.externallinksexternallink

What links here72 pages

Łukasiewicz logic

three-valued logic

Heyting arithmetic

intermediate logic

intuitionistic type theory

many-valued logic

categorial grammar

sequent calculus

Outline of philosophy

non-classical logic

intuitionistic logic

natural deduction

relevance logic

Johan van Benthem

Similar entities

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

mathematical logic

Entitydist 0.33

predicate logic

Entitydist 0.36

Entitydist 0.38

Entitydist 0.41

classical logic

Entitydist 0.42

epistemic modal logic

Entitydist 0.42

propositional formula

Entitydist 0.42

Entitydist 0.43

logical language

Entitydist 0.43

philosophy of logic

Entitydist 0.43

sequential logic

Entitydist 0.44

computational logic

Entitydist 0.44