Now showing items 1-1 of 1
Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
(Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
We continue the investigation of the first paper where we studied logics with various negations including empirical negation and co-negation. We established how such logics can be treated uniformly with R. Sylvan's CCω as ...