Skip to content
docs
Arxo ↗

Find the form you need: its syntax, meaning, examples, and the traps to watch for.

Begin with the shape of a rule

Strict rules

Read a strict rule, then explore how exceptions and priorities change what can be concluded.

Start here
strict
Inference without exceptions
defeasible
A conclusion that can be defeated
priority
Resolve competing rules
25 constructs in this section

Rules and support

How facts lead to conclusions, including missing or conflicting support.

Vocabulary and computation

Name the objects, define concepts, compute values, and ask questions.

Rights and duties

Express legal positions and follow their changing status.

Sources, time, and procedure

Anchor rules to a source, an edition, a date, and a procedural stage.

Readings and arguments

Represent disputed readings, judgment, and competing arguments.

Documentation for Arxo. Writings — blog.arxo.io.

Anonymous visit counts on stats.arxo.io, no cookies.