proof theory


noun

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

QUIZZES

FOR LEXICAL ALIMENTATION, TAKE THIS WORD OF THE DAY QUIZ!

Nourish your vocabulary with a refresher on the words from the week of September 14–20, 2020!
Question 1 of 7
What does “blatherskite” mean?
Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012