Opis

• Tytuł:
  Boolean Connexive Logics: Semantics and tableau approach
• Twórca:
  Jarmużek, Tomasz;
  Malinowski, Jacek
• Opis:
  In this paper we define a new type of connexive logics which we call Boolean connexive logics. In such logics negation, conjunction and disjunction behave in the classical, Boolean way. We determine these logics through application of the relating semantics. In the final section we present a tableau approach to the discussed logics.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2019 Logic and Logical Philosophy
• Data:
  2019.01.27
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 28 No. 3 (2019): September; 427-448;
  Logic and Logical Philosophy; Tom 28 Nr 3 (2019): wrzesień; 427-448;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2019.003/16680
• Temat i słowa kluczowe:
  Boolean connexive logics;
  connexive logic;
  relating semantics;
  tableau approach;
  relatedness
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2019.003
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty