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

Authors :: Satoru Niki
Source :: Bulletin of the Section of Logic, Vol 49, Iss 3, Pp 231-253 (2020)
Publication Year :: 2020
Publisher :: Uniwersytet Lodzki (University of Lodz), 2020.
Abstract: 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 CCω.

Full Text Access

Tools