Opis

• Tytuł:
  Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations
• Twórca:
  Niki, Satoru
• Współtwórca:
  Japan Advanced Institute of Science and Technology School of Information Science 923-1292, 1-1 Asahidai, Nomi Ishikawa, Japan;
  satoruniki@jaist.ac.jp
• Opis:
  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ω.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: http://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2021.05.05;
  2020.11.04
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;3;
  49
• Temat i słowa kluczowe:
  empirical negation;
  co-negation;
  Beth semantics;
  Kripke semantics;
  intuitionism
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/35376 ;
  2449-836X;
  10.18778/0138-0680.2020.12
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe