Back to Results
First PageMeta Content
Propositional calculus / Proof theory / Logic in computer science / Logical truth / Deduction theorem / Curry–Howard correspondence / Intuitionistic logic / Theorem / Axiom / Logic / Mathematical logic / Mathematics


Open Document

Share Result on Facebook

Company

Specification LP / Proofs LP / Full LP / /

/

IndustryTerm

classical proof systems / proof systems / machinery / few proof-naming systems / /

Organization

Normality Roman Kuznets CUNY Graduate Center / Logic of Proofs LP / /

Person

Nikolai Krupski / Evan Goris / Roman Kuznets / /

SocialTag