Lattice

A Hasse diagram showing all the conjunctions of the selected principles. Solid arrows denote implications shown to be non-reversible by models in the selected sources; dashed arrows denote implications which might be reversible (as far as the selected sources are concerned).

Conjectures

Arrow sources

Derived proofs

Principles

Principles

Background

Select a principle, conjunction or arrow to see its details and logical relations here. Shift-click to add or remove principles.