Satoru Niki

Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations

2020 · Bulletin of the Section of Logic

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 …