Portal:Logik/Kalküle

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