"logic theory machine" - related articles and key terms