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.

zeroth-order logic · Vinony

EntityQ8069651· pop 5

zeroth-order logic

Sign in to save

first-order logic without variables or quantifiers

Connections

propositional calculus

Similar entities

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

second-order logic

Entitydist 0.27

free and bound variables

Entitydist 0.41

Entitydist 0.44

Skolem normal form

Entitydist 0.44

existential instantiation

Entitydist 0.48

predicate transformer semantics

Entitydist 0.49

ground expression

Entitydist 0.49

Entitydist 0.49

Universal instantiation

Entitydist 0.49

Entitydist 0.50

existential quantification

Entitydist 0.51

Entitydist 0.52