Download or read book A Flexible, Natural Deduction, Automated Reasoner for Quick Deployment of Non-classical Logic written by Trisha Mukhopadhyay and published by . This book was released on 2019 with total page 47 pages. Available in PDF, EPUB and Kindle. Book excerpt: In response to these problems, I introduce the MATR framework. MATR is a platform-independent, codelet-based (independently operating processes) proof system with an easy-to-use Graphical User Interface (GUI), where multiple codelets can be selected based on the formal system desired. MATR provides a platform for different proof strategies like deduction and backward reasoning, along with different formal systems such as non-classical logics. It enables users to design their own proof system by selecting from the list of codelets without needing to write an ATP from scratch.