Opis

• Tytuł:
  Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
• Twórca:
  Maffezioli, Paolo;
  Orlandelli, Eugenio
• Współtwórca:
  Departamet de Filosofia, Universitat de Barcelona, Barcelona, Spain;
  Dipartimento di Filosofia e Comunicazione, Universitá di Bologna, Bologna, Italy;
  paolo.maffezioli@ub.edu;
  eugenio.orlandelli@unibo.it
• Opis:
  In previous work by Baaz and Iemhoff, a Gentzen calculus for intuitionistic logic with existence predicate is presented that satisfies partial cut elimination and Craig's interpolation property; it is also conjectured that interpolation fails for the implication-free fragment. In this paper an equivalent calculus is introduced that satisfies full cut elimination and allows a direct proof of interpolation via Maehara's lemma. In this way, it is possible to obtain much simpler interpolants and to better understand and (partly) overcome the failure of interpolation for the implication-free fragment.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.;
  http://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2019.10.13;
  2019
• Typ:
  Article
• Język:
  angielski;
  eng
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic; 2;
  48
• Temat i słowa kluczowe:
  intuitionistic logic;
  existence predicate;
  sequent calculi;
  cut elimination;
  interpolation;
  Maehara's lemma;
  logic
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/30602 ;
  2449-836X;
  10.18778/0138-0680.48.2.04
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  obrazy