@article{Niki_2020, title={Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations}, volume={49}, url={https://czasopisma.uni.lodz.pl/bulletin/article/view/5862}, DOI={10.18778/0138-0680.2020.12}, abstractNote={<p>We investigate the relationship between M. De’s empirical negation in Kripke and Beth Semantics. It turns out empirical negation, as well as co-negation, corresponds to different logics under different semantics. We then establish the relationship between logics related to these negations under unified syntax and semantics based on R. Sylvan’s <strong>CC<sub>ω</sub></strong>.</p>}, number={3}, journal={Bulletin of the Section of Logic}, author={Niki, Satoru}, year={2020}, month={Nov.}, pages={231–253} }