Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download Proof Theory for Propositional Logic
Document related concepts
Turing's proof wikipedia , lookup
Axiom of reducibility wikipedia , lookup
History of the function concept wikipedia , lookup
Foundations of mathematics wikipedia , lookup
History of logic wikipedia , lookup
Meaning (philosophy of language) wikipedia , lookup
Quantum logic wikipedia , lookup
Combinatory logic wikipedia , lookup
Jesús Mosterín wikipedia , lookup
Semantic holism wikipedia , lookup
Cognitive semantics wikipedia , lookup
Propositional formula wikipedia , lookup
Mathematical logic wikipedia , lookup
Sequent calculus wikipedia , lookup
Modal logic wikipedia , lookup
Laws of Form wikipedia , lookup
Curry–Howard correspondence wikipedia , lookup
Law of thought wikipedia , lookup
Intuitionistic logic wikipedia , lookup
Principia Mathematica wikipedia , lookup
Mathematical proof wikipedia , lookup
Propositional calculus wikipedia , lookup
Transcript
