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.

linear logic · Vinony

EntityQ841728· pop 12· linked from 149 articles

linear logic

Sign in to save

system of resource-aware logic

Connections

logical consequence

three-state logic

normal modal logic

quantum mechanics

International Standard Book Number

programming language

Wayback Machine

digital object identifier

International Standard Serial Number

deductive reasoning

logical disjunction

De Morgan's laws

vending machine

logical conjunction

Categories

Linear logic Logic Non-classical logic Substructural logic

Sources

wikipedia.externallinksexternallink

Similar entities

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

linear temporal logic

Entitydist 0.38

Entitydist 0.45

Entitydist 0.45

logic programming

Entitydist 0.47

Entitydist 0.48

description logic

Entitydist 0.48

Entitydist 0.49

computation tree logic

Entitydist 0.50

computational logic

Entitydist 0.50

logic simulation

Entitydist 0.51

Entitydist 0.51

Entitydist 0.51

What links here149 pages

description logic

three-valued logic

monoidal category

algebra of sets

program analysis

substructural logic

Letterlike Symbols

static program analysis

Heyting arithmetic

intermediate logic

intuitionistic type theory

many-valued logic

logic programming

categorial grammar

Mathematical Operators