Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download Proof Nets Sequentialisation In Multiplicative Linear Logic
Document related concepts
Mathematical logic wikipedia , lookup
Intuitionistic logic wikipedia , lookup
Propositional calculus wikipedia , lookup
Laws of Form wikipedia , lookup
Turing's proof wikipedia , lookup
Georg Cantor's first set theory article wikipedia , lookup
Law of thought wikipedia , lookup
Non-standard calculus wikipedia , lookup
Sequent calculus wikipedia , lookup
Natural deduction wikipedia , lookup
Transcript
