Logicsystems