Opis

• Title:
  Rule-Generation Theorem and its Applications
• Creator:
  Indrzejczak, Andrzej
• Contributor:
  University of Łódź, Department of Logic;
  andrzej.indrzejczak@filozof.uni.lodz.pl
• Description:
  In several applications of sequent calculi going beyond pure logic, an introduction of suitably defined rules seems to be more profitable than addition of extra axiomatic sequents. A program of formalization of mathematical theories via rules of special sort was developed successfully by Negri and von Plato. In this paper a general theorem on possible ways of transforming axiomatic sequents into rules in sequent calculi is proved. We discuss its possible applications and provide some case studies for illustration.
• Object availability:
  Dostęp otwarty
• Rights:
  This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.;
  http://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2019.05.24;
  2018
• Type:
  Article
• Language:
  angielski
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic; 4;
  47
• Subject:
  sequent calculus;
  cut elimination;
  proof theory;
  extralogical rules
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/28482 ;
  2449-836X;
  10.18778/0138-0680.47.4.03
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  sprawdź warunki licencji
• Type:
  obrazy