1 paper
J. R. B. Cockett, C. A. Pastro
In this paper the complexity of provability of polarized additive, multiplicative, and exponential formulas in the (initial) Cockett-Seely polarized game logic is discussed. The co…