logical system