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.

Łukasiewicz logic · Vinony

EntityQ8080919· pop 5· linked from 60 articles

Łukasiewicz logic

Sign in to save

many-valued logic

Connections

propositional calculus

three-state logic

substructural logic

International Standard Book Number

digital object identifier

Jan Łukasiewicz

principle of excluded middle

first-order logic

Categories

Fuzzy logic Many-valued logic

Sources

wikipedia.externallinksexternallink

What links here60 pages

description logic

three-valued logic

substructural logic

Royal Irish Academy

Heyting arithmetic

intermediate logic

intuitionistic type theory

many-valued logic

algebraic logic

Boolean algebra

non-classical logic

prefix notation

intuitionistic logic

Jan Łukasiewicz

relevance logic

Similar entities

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

finite model theory

Entitydist 0.43

lambda calculus

Entitydist 0.47

description logic

Entitydist 0.47

Entitydist 0.47

linear temporal logic

Entitydist 0.50

combinatory logic

Entitydist 0.50

philosophy of logic

Entitydist 0.51

Category:Mathematical logicians

Entitydist 0.52

Entitydist 0.53

mathematical logic

Entitydist 0.53

simply typed lambda calculus

Entitydist 0.53

Inductive logic programming

Entitydist 0.53