the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity
Examples of 'proof theory' in a sentence
proof theory
Students of proof theory, a branch of formal logic, can benefit from computerized tools.
Matti NYKÄNEN 2005, 'Point-and-Click Logic', Informatics in Educationhttp://www.mii.lt/informatics_in_education/pdf/INFE051.pdf. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
The combination of program composition, intersection and tests makes its proof-theory rather difficult.
Florian Bruse, Daniel Kernberger, Martin Lange 2016, 'A Canonical Model Construction for Iteration-Free PDL with Intersection', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1609.04093v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)