logical systems