Month: July 2020

The AllenSL system in Carnap

Carnap.io is logic software that runs in a browser. It supports the formal systems that are in a number of different textbooks. (There’s a list here: https://carnap.io/shared/gleachkr@gmail.com/carnap-derivations.pandoc.) I use a system for propositional logic that is similar to the one found in Allen and Hand’s Logic Primer, and I will explain it here for anyone …