Logical system