Ideal-Logic