Logic<T> constructor

Logic<T>()