Description

• Title:
  Relating Semantics for Hyper-Connexive and Totally Connexive Logics
• Creator:
  Malinowski, Jacek;
  Nicolás-Francisco, Ricardo Arturo
• Description:
  In this paper we present a characterization of hyper-connexivity by means of a relating semantics for Boolean connexive logics. We also show that the minimal Boolean connexive logic is Abelardian, strongly consistent, Kapsner strong and antiparadox. We give an example showing that the minimal Boolean connexive logic is not simplificative. This shows that the minimal Boolean connexive logic is not totally connexive.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nd/4.0 ;
  Prawa autorskie (c) 2023 Jacek Malinowski, Ricardo Arturo Nicolás-Francisco
• Date:
  2023.06.21
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 33 No. 4 (2024): December; 509-522;
  Logic and Logical Philosophy; Tom 33 Nr 4 (2024): December; 509-522;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/43721/35862
• Subject:
  Abelardian axiom;
  Boolean connexive logics;
  hyper-connexivity;
  relating semantics;
  totally connexive logics
• Identifier: https://apcz.umk.pl/LLP/article/view/43721
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text