Opis

• Tytuł:
  Does the Implication Elimination Rule Need a Minor Premise?
• Twórca:
  Francez, Nissim
• Opis:
  The paper introduces NJ g , a variant of Gentzen’s NJ natural deduction system, in which the implication elimination rule has no minor premise. The NJ g -systems extends traditional ND-system with a new kind of action in derivations, assumption incorporation, a kind of dual to the assumption discharge action. As a result, the implication (I/E)-rules are invertible and, almost by definition, harmonious and stable, a major condition imposed by proof-theoretic semantics on ND-systems to qualify as meaning-conferring. There is also a proof-term assignment to NJ g -derivations, materialising the Curry-Howard correspondence for this system.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2017.07.21
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 27 No. 3 (2018): September; 351-373;
  Logic and Logical Philosophy; Tom 27 Nr 3 (2018): September; 351-373;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2017.019/12527
• Temat i słowa kluczowe:
  natural deduction;
  NJ;
  proof-theoretic semantics;
  grounds for assertion;
  term assignment;
  03A99
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2017.019
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty