MENTAL
	Main Menu
	Applications
	Logic

---

Propositional, Boolean, Polyvalent and Continuous Logic The Problem of Implication Syllogisms Automatic Reasoning Non-Monotonic Logic Intensional Logic Paraconsistent Logic Curry-Howard Correspondence Predicate Logic Generalized Quantifiers Intuitionistic Logic Modal Logic Fuzzy Logic