Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Paper and ELPI
Dear all,
the .elpi model generator for propositional logic is here: https://gl.mathhub.info/Teaching/LBS2021/-/blob/main/elpi/modgen.elpi
Here is the ELPI repository along with installation instructions etc. if you are interested: https://github.com/lpcic/elpi
You can download the paper about negatives and tableaux form here: https://www.researchgate.net/publication/319395366_Interpreting_Negatives_in_Discourse
As discussed in the lecture: please look over the paper and the model generator again as a preparation for next week.
Best
Frederik