Inference System

Saturate applies two kinds of inferences, chaining inferences based on known transitivity properties for binary relations (including the transitivity of logical implication and equivalence), and certain rules derived from sequent calculus for eliminating logical symbols and quantifiers.

Imprint | Data Protection