Description

• Title:
  Boolean Connexive Logics: Semantics and tableau approach
• Creator:
  Jarmużek, Tomasz;
  Malinowski, Jacek
• Description:
  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.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2019 Logic and Logical Philosophy
• Date:
  2019.01.27
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  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
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2019.003/16680
• Subject:
  Boolean connexive logics;
  connexive logic;
  relating semantics;
  tableau approach;
  relatedness
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2019.003
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text