Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download Specification Predicates with Explicit Dependency Information
Document related concepts
Propositional calculus wikipedia , lookup
Symbol grounding problem wikipedia , lookup
Law of thought wikipedia , lookup
History of the function concept wikipedia , lookup
Intuitionistic logic wikipedia , lookup
History of the Church–Turing thesis wikipedia , lookup
Non-standard calculus wikipedia , lookup
New riddle of induction wikipedia , lookup
Curry–Howard correspondence wikipedia , lookup
Propositional formula wikipedia , lookup
Laws of Form wikipedia , lookup
Structure (mathematical logic) wikipedia , lookup
Transcript
