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.

선형 논리 · Vinony

Home
Linear logic
선형 논리

🌐한국어

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

EntityQ841728· pop 12· linked from 149 articles

선형 논리

system of resource-aware logic

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