Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations
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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Lodz University Press
2020-11-01
|
| Series: | Bulletin of the Section of Logic |
| Subjects: | |
| Online Access: | https://czasopisma.uni.lodz.pl/bulletin/article/view/5862 |
| _version_ | 1818255351893458944 |
|---|---|
| author | Satoru Niki |
| author_facet | Satoru Niki |
| author_sort | Satoru Niki |
| collection | DOAJ |
| description | 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ω. |
| first_indexed | 2024-12-12T17:10:29Z |
| format | Article |
| id | doaj.art-604f0a1e42ad46d19bec8fbe830bc13d |
| institution | Directory Open Access Journal |
| issn | 0138-0680 2449-836X |
| language | English |
| last_indexed | 2024-12-12T17:10:29Z |
| publishDate | 2020-11-01 |
| publisher | Lodz University Press |
| record_format | Article |
| series | Bulletin of the Section of Logic |
| spelling | doaj.art-604f0a1e42ad46d19bec8fbe830bc13d2022-12-22T00:17:53ZengLodz University PressBulletin of the Section of Logic0138-06802449-836X2020-11-0149323125310.18778/0138-0680.2020.125018Empirical Negation, Co-negation and Contraposition Rule I: Semantical InvestigationsSatoru Niki0https://orcid.org/0000-0002-0882-806XJapan Advanced Institute of Science and Technology School of Information Science 923-1292, 1-1 Asahidai, Nomi Ishikawa, JapanWe 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ω.https://czasopisma.uni.lodz.pl/bulletin/article/view/5862empirical negationco-negationbeth semanticskripke semanticsintuitionism |
| spellingShingle | Satoru Niki Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations Bulletin of the Section of Logic empirical negation co-negation beth semantics kripke semantics intuitionism |
| title | Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations |
| title_full | Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations |
| title_fullStr | Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations |
| title_full_unstemmed | Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations |
| title_short | Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations |
| title_sort | empirical negation co negation and contraposition rule i semantical investigations |
| topic | empirical negation co-negation beth semantics kripke semantics intuitionism |
| url | https://czasopisma.uni.lodz.pl/bulletin/article/view/5862 |
| work_keys_str_mv | AT satoruniki empiricalnegationconegationandcontrapositionruleisemanticalinvestigations |