Advertisement

Advertisement

proof theory

noun

  1. the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity


Advertisement

Word of the Day

tortuous

[tawr-choo-uhs ]

Meaning and examples

Start 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