What Kind of Logic Is This?