1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Nick Thomas
We augment LP with a strong conditional operator, to yield a logic we call "strong LP," or LP=>. The resulting logic can speak of consistency in more discriminating ways, but intro…