Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Exoplanets Artists Albums Gazetteer Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

linear logic · Vinony

Home
Linear logic
linear logic

🌐English

English Español Français Italiano Português Русский العربية 한국어 中文日本語

EntityQ841728· pop 12· linked from 149 articles

linear logic

system of resource-aware logic

Wikidata facts

Show 1 more fact

Commons category: Linear logic

Sources (2)

wikidata.org
docs.openalex.org

via Wikidata · CC0

Available in 12 languages

Español
Français
中文
日本語
Русский
Português
Italiano
العربية
Catalan
Czech
한국어

Connections

logical consequence

three-state logic

Categories

Linear logic Logic Non-classical logic Substructural logic

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

normal modal logic

Entity

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

Sign in to save

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