Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download Proof and computation rules
Document related concepts
Axiom of reducibility wikipedia , lookup
Jesús Mosterín wikipedia , lookup
Foundations of mathematics wikipedia , lookup
Structure (mathematical logic) wikipedia , lookup
Modal logic wikipedia , lookup
History of logic wikipedia , lookup
Mathematical proof wikipedia , lookup
Cognitive semantics wikipedia , lookup
Unification (computer science) wikipedia , lookup
Interpretation (logic) wikipedia , lookup
Laws of Form wikipedia , lookup
Quantum logic wikipedia , lookup
Truth-bearer wikipedia , lookup
Intuitionistic type theory wikipedia , lookup
Mathematical logic wikipedia , lookup
Propositional calculus wikipedia , lookup
Sequent calculus wikipedia , lookup
Law of thought wikipedia , lookup
Principia Mathematica wikipedia , lookup
Intuitionistic logic wikipedia , lookup
Transcript
