Description

• Title:
  Interpolation and implicit definability in extensions of the provability logic
• Creator:
  Maksimova, Larisa
• Description:
  The provability logic GL was in the field of interest of A.V. Kuznetsov, who had also formulated its intuitionistic analog—the intuitionistic provability logic—and investigated these two logics and their extensions. In the present paper, different versions of interpolation and of the Beth property in normal extensions of the provability logic GL are considered. It is proved that in a large class of extensions of GL (including all finite slice logics over GL) almost all versions of interpolation and of the Beth property are equivalent. It follows that in finite slice logics over GL the three versions CIP, IPD and IPR of the interpolation property are equivalent. Also they are equivalent to the Beth properties B1, PB1 and PB2.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2008.06.19
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 17 No. 1-2 (2008); 129-142;
  Logic and Logical Philosophy; Tom 17 Nr 1-2 (2008); 129-142;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2008.008/1305
• Subject:
  provability logic;
  interpolation;
  Beth property
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2008.008
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text