Module theory

Expand description

A Theory is a set of alternative PropositionalFormulas, which corresponds to a branch in a tableau tree.

Structs§