Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03824349n
Noun Concept
Categories: Proof theory
EN
structural proof theory  display logic  structural proof theories
EN
In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof, a kind of proof whose semantic properties are exposed. Wikipedia
Definitions
Sources
EN
In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof, a kind of proof whose semantic properties are exposed. Wikipedia
Wikipedia
EN
structural proof theory
Wikidata
EN
Structural proof theory
Wikipedia Redirections
EN
display logic, structural proof theories

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License