This program takes user-inputted lists of formalized sentences and tells you whether the sentences are consistent or form a valid argument in Propositional Modal Logic (S5 Axiom System). The decision procedure for modal formulas is original. (The implementation for the non-modal formulas is based on the pen-and-pencil decision procedure from Richard Jeffrey's 1990 book.) Coded in Python.
This project should especially be considered for Most Polished Hack, since it takes sentences in infix notation and converts them to Polish notation (a prefix notation with letters for logical operators) for easier parsing and manipulating, before returning the result.
We are UB ACM, University at Buffalo's undergraduate computer science organization. Our mission is to empower student peers and help them find their path in computer science.
UB ACM hosts a variety of extracurricular events to achieve our goal. We have weekly meetings where our members or speakers run workshops and tech talks on the latest technologies used by professionals in industry or academia. Additionally, we run events like Hack Night and social events to allow students to connect with others with similar interests.
The "Circuit Bull" is an approved logography for UB ACM by the University at Buffalo Trademarks and Licensing department. The logos for our club's parent organizations, University at Buffalo School of Engineering and Applied Sciences, University at Buffalo Student Association, Association for Computing Machinery logo, are owned by their respective owners.