Conclusion

Contributions

• Conditional connectives for FDE
• Automated generation of connectives
• Implementation and results

Future Work

• Fix functional incompleteness of FDE
• Compare with other conditional connectives we just discovered
• Study applications of FDE
• Data-driven implementation of translation to FOL