proof calculus

formal language that specifies allowed ways to prove a statement

en-US/ˈpɹuf ˈkælkjələs/
en-GB/ˈpɹuːf ˈkælkjʊləs/

Kategorien:

formal language