Lukas' Notes

Search titles, aliases and note text. Use # for tags.

Deductive Closure

1 min read

Definition

Deductive Closure

Fix a calculus on a set of formulas. The deductive closure of is the set of all formulas derivable from :

Backlinks