Deductive Construction

Every note in the encyclopedia stores its knowledge as typed relations — and a relation is also a premise. Select some below and the engine forward-chains sound inference rules (transitivity, inheritance, contradiction), testing each conclusion against the whole atlas:

• verified — authored; proven entailed.
• novel — soundly derived, not yet authored.
• contradiction — clashes with the system.

Three modes: Explore closure (everything that follows), Build step-by-step (one link at a time), and Propositions (connect sentences with A ⟹ B / A contradicts B, then modus ponens & syllogism). Where a field's axioms are fully symbolic, a formal verifier derives truths outright (today: Peano arithmetic; 1 of 18 fields). 870 premises · 18 fields