logical system

noun