Getting started

Basic introduction to zoxiy [pdf]

Possible situations with blocks

A quick guide to creating possible situations in zoxiy [pdf]

Interpretations for the predicates of the zoxiy block language [pdf]

Truth tables

A demonstration of how to construct a truth table on zoxiy for (A ∨ ¬A) [pdf]

Proofs

Proofs and subproofs on zoxiy [pdf]

Typing symbols (translations and proofs)

Strings/words which zoxiy recognizes as alternatives to the logical symbols [pdf]