Empirical Negation, Co-Negation and the Contraposition Rule II : Proof-Theoretical Investigations

Bulletin of the Section of Logic, Tom 49, Numer 4 (2020) s. 359-375
Satoru Niki