3 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
K. Dosen, Z. Petric
This note analyzes in terms of categorial proof theory some standard assumptions about negation in the absence of any other connective. It is shown that the assumptions for an invo…