Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download proof terms for classical derivations
Document related concepts
Peano axioms wikipedia , lookup
Mathematical logic wikipedia , lookup
Intuitionistic type theory wikipedia , lookup
Laws of Form wikipedia , lookup
Intuitionistic logic wikipedia , lookup
Propositional formula wikipedia , lookup
Law of thought wikipedia , lookup
Non-standard calculus wikipedia , lookup
Propositional calculus wikipedia , lookup
Mathematical proof wikipedia , lookup
Transcript
