Natural Deduction
GitHub
¬
∧
∨
->
<->
>-<
|
Classical
Syllogisms (Aristotle)
Begriffsschrift (Frege)
KNS-J (Essler, Martinez)
Kalish-Montague Calculus
C-intelim (D'Aggostino, Gabbay, Modgil)
Non-classical
Minimal Logic
Heyting's Propositional Calculus (HPC)
Custom
'%3e%3cg%20transform='matrix(1.011983,0,0,1.011983,-85.395006,-12.010874)'%3e%3cg%20transform='matrix(1.105499,0,0,2.309754,-146.38703,-473.596954)'%3e%3crect%20x='856.875'%20y='334.377'%20width='1512.496'%20height='599.409'%20style='fill:white;'/%3e%3c/g%3e%3cg%20transform='matrix(0.988159,0,0,0.988159,84.38384,12.856811)'%3e%3cpath%20d='M820.967,1321.889L820.967,714.43L1229.322,715.679L1230.189,786.88L901.239,786.88L901.239,974.733L1185.915,974.733L1185.915,1046.316L901.239,1046.316L901.239,1321.889L820.967,1321.889ZM1766.153,715.679L1533.345,1321.889L1446.921,1321.889L1198.813,715.679L1290.2,715.679L1360.911,899.278L1614.394,899.278L1680.97,715.679L1766.153,715.679ZM1591.237,964.613L1385.721,964.613L1448.989,1132.5C1468.286,1183.5%201491.994,1258.208%201491.994,1258.208L1591.237,964.613ZM1959.264,1321.889L1959.264,782.044L1731.64,781.662L1731.64,715.679L2351.587,715.679L2351.587,781.662L2033.258,782.044L2033.258,1321.889L1959.264,1321.889Z'%20style='fill-rule:nonzero;'/%3e%3c/g%3e%3c/g%3e%3c/g%3e%3c/svg%3e)