Dessa system tillhandahåller en syntax och semantik för formella studier av logik.
Denna kategori har följande 2 underkategorier (av totalt 2).
