Repository with the code written at the 2024 edition of the Logic and Software course - Marian Calborean - University of Bucharest, Faculty of Philosophy. It contains a functional calculator for logics in the classic manual "Introduction to non-classical logics" by Graham Priest. See running link at http://filos.ro/ls/inclcalculator/ or presentation at https://figshare.com/articles/presentation/Calborean_Dobrescu_2024_-_Trees_algorithms_and_logics_-_A_Calculator_for_Priest_s_INCL/25996027
andob / ls2024 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mcfilos/ls2024
License: Creative Commons Zero v1.0 Universal