Conclusion

Highlights

• The logic and reasoning picture
• Abstract and concrete motivation for multi-valued logics
• Five related gap and glut logics
• Flexible ATP system implementation, available online
• Interesting evaluations

Future Work

• Encode truth diamond to automate translation of quantifiers
  (and change automation of conjunction, disjunction)
• Study applications of FDE, e.g., in ethics and law
• Embed in modal logics