Knowledge system based on Zeroth Order Logic

Organize knowledge into chains of logic

Scixiv is a derivation tool: knows connect through explicit proofs — traceable, checkable, and growing from private notes into shared knowledge.

Start ExploringRead the philosophy
  • Key file sign-in, no passwords
  • Free to register and use
  • Every proof reviewed in the open

What Scixiv does for you

Know why, not just whatEvery know is backed by proofs: open one and trace exactly which premises a conclusion was derived from, instead of memorizing a bare statement.
Know AKnow BProofKnow C
Proofs that survive scrutinyProofs you raise get examined, verified or doubted by others. Flaws surface along the chain, and what remains is knowledge that holds.
Thinking that compoundsKnows and proofs keep accumulating and connecting. One deep thought of yours may become the starting point of someone else's chain.
Start from a single knowStart Exploring

Start in three steps

1Capture a knowWrite down something you want to nail down as a crisp knowledge node.2Raise a proofOn a know's page, pick propositions, write the inference, and prove or disprove — the chain links up.3Review & verifyEveryone reviews each proof; chains that hold up settle into reliable knowledge.