Advertisement
Advertisement
proof theory
noun
- the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity
Advertisement
Word of the Day
[tawr-choo-uhs ]
Meaning and examplesStart each day with the Word of the Day in your inbox!
By clicking "Sign Up", you are accepting Dictionary.com Terms & Conditions and Privacy Policies.
Advertisement
Advertisement
Advertisement
Browse