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.

substructural logic · Vinony

🌐English

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

EntityQ839490· pop 6· linked from 72 articles

substructural logic

type of logic

Available in 6 languages

Français
中文
日本語
Русский
Português

via Wikidata sitelinks · CC0

Connections

three-state logic

Categories

Non-classical logic Substructural logic

Sources

wikipedia.externallinksexternallink

relevance logic

Entity

International Standard Book Number

digital object identifier

International Standard Serial Number

commutative property

propositional calculus

logical conjunction

Stanford Encyclopedia of Philosophy

Sign in to save

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