Virtual Logic