An algebraic approach to user interfaces coupled with logically quantified subjective experiences