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.

zeroth-order logic · Vinony

🌐English

English Italiano Polski العربية 中文

EntityQ8069651· pop 5

zeroth-order logic

first-order logic without variables or quantifiers

Available in 5 languages

中文
Italiano
العربية
Polski

via Wikidata sitelinks · CC0

Connections

propositional calculus

Sign in to save

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