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.

functional completeness · Vinony

EntityQ2348801· pop 10· linked from 87 articles

functional completeness

Sign in to save

property of a set of logical connectives which can express all possible truth tables by combining members of the set

Connections

semantic theory of truth

mathematical logic

propositional calculus

Russell's paradox

first-order logic

Boolean algebra

semantics of logic

ground expression

International Standard Book Number

programming language

Categories

Boolean algebra Charles Sanders Peirce Logic in computer science Propositional calculus

Sources

wikipedia.externallinksexternallink

What links here87 pages

intuitionistic logic

material implication

Charles Sanders Peirce

logical negation

knowledge representation and reasoning

Boolean circuit

many-valued logic

logical consequence

mathematical logic

existential graph

general-purpose computing on graphics processing units

disjunctive normal form

Semiotic elements and classes of signs

Similar entities

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

complete theory

Entitydist 0.48

Gödel's incompleteness theorems

Entitydist 0.49

many-valued logic

Entitydist 0.49

normal modal logic

Entitydist 0.52

Lindenbaum–Tarski algebra

Entitydist 0.59

Heyting algebra

Entitydist 0.60

Entitydist 0.61

propositional variable

Entitydist 0.64

Entitydist 0.64

Entitydist 0.64

program synthesis

Entitydist 0.65

constructible function

Entitydist 0.65