Aussagenkalkül • Baumkalkül • Gentzenkalkül • Hilbertkalkül • Hoare-Kalkül • Lambda-Kalkül • Plankalkül • Prädikatenkalkül • Relationenkalkül • Residuenkalkül • Resolutionskalkül • Sequenzenkalkül • Situationskalkül • Systeme natürlichen Schließens
→ Wichtige Schlussregeln: Modus ponens • Modus tollens • Modus ponendo tollens • Kettenschluss • Kontradiktion