Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download Monadic Predicate Logic is Decidable
Document related concepts
Intuitionistic logic wikipedia , lookup
Law of thought wikipedia , lookup
Mathematical proof wikipedia , lookup
Model theory wikipedia , lookup
First-order logic wikipedia , lookup
Non-standard analysis wikipedia , lookup
Truth-bearer wikipedia , lookup
Structure (mathematical logic) wikipedia , lookup
Sequent calculus wikipedia , lookup
Propositional calculus wikipedia , lookup
Hyperreal number wikipedia , lookup
Propositional formula wikipedia , lookup
Transcript
