Description

• Title:
  Disjoint Logics
• Creator:
  Pailos, Federico
• Description:
  We will present all the mixed and impure disjoint three-valued logics based on the Strong Kleene schema. Some, but not all of them, are (inferentially) empty logics, while one of them is trivial. We will compare them regarding their relative strength. We will also provide a recipe for building philosophical interpretations for each of these logics, and show why the kind of permeability that characterises them is not such a bad feature. Finally, we will present a three-side sequent system for most of these logics.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2020 Logic and Logical Philosophy
• Date:
  2020.07.27
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 30 No. 1 (2021): March; 109-137;
  Logic and Logical Philosophy; Tom 30 Nr 1 (2021): marzec; 109-137;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2020.014/26148
• Subject:
  disjoint logic;
  three-valued logics;
  substructural logics;
  epistemic commitments;
  permeability;
  Substructural Logics;
  Mixed Consequence Relations;
  Non-Classical Logics
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2020.014
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text