Description

• Title:
  Pure Variable Inclusion Logics
• Creator:
  Paoli, Francesco;
  Pra Baldi, Michele;
  Szmuc, Damian
• Description:
  The aim of this article is to discuss pure variable inclusion logics, that is, logical systems where valid entailments require that the propositional variables occurring in the conclusion are included among those appearing in the premises, or vice versa. We study the subsystems of Classical Logic satisfying these requirements and assess the extent to which it is possible to characterise them by means of a single logical matrix. In addition, we semantically describe both of these companions to Classical Logic in terms of appropriate matrix bundles and as semilattice-based logics, showing that the notion of consequence in these logics can be interpreted in terms of truth (or non-falsity) and meaningfulness (or meaninglessness) preservation. Finally, we use Płonka sums of matrices to investigate the pure variable inclusion companions of an arbitrary finitary logic.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2021 Francesco Paoli, Michele Pra Baldi, Damian Szmuc;
  https://creativecommons.org/licenses/by-nd/4.0
• Date:
  2021.11.28
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 30 No. 4 (2021): December; 631-652;
  Logic and Logical Philosophy; Tom 30 Nr 4 (2021): Grudzień; 631-652;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/36176/30479
• Subject:
  logics of variable inclusion;
  significance logics;
  analytic entailment;
  weak Kleene logics;
  Płonka sums
• Identifier: https://apcz.umk.pl/LLP/article/view/36176
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text