Skip to content
Vinony
Sections
Maps
Timeline
Graph
Cosmos
Life
Culture
Innovation
People
Climate
Trends
Art
Browse
Search
Search Vinony…
⌘
K
Sign in
deductive system · Vinony
Entity
Q3322159
· pop 5
deductive system
Sign in to save
Connections
formal system
Entity
Similar entities
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).
deductive database
Entity
dist 0.28
logic puzzle
Entity
dist 0.34
symbolic logic
Entity
dist 0.42
linear temporal logic
Entity
dist 0.48
Defeasible reasoning
Entity
dist 0.50
formal logic
Entity
dist 0.50
Logic Theorist
Entity
dist 0.50
statistical syllogism
Entity
dist 0.52
Boolean data type
Entity
dist 0.54
logical formula
Entity
dist 0.54
linear logic
Entity
dist 0.54
disjunctive syllogism
Entity
dist 0.55