Opis

• Tytuł:
  Algebraic Characterization of the Local Craig Interpolation Property
• Twórca:
  Gyenis, Zalán
• Współtwórca:
  Department of Logic, Jagiellonian University, Kraków Department of Logic, Eötvös University, Budapest;
  gyz@renyi.hu
• Opis:
  The sole purpose of this paper is to give an algebraic characterization, in terms of a superamalgamation property, of a local version of Craig interpolation theorem that has been introduced and studied in earlier papers. We continue ongoing research in abstract algebraic logic and use the framework developed by Andréka–Németi and Sain. 
• 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.01.14;
  2018
• Typ:
  Article
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;1;
  47
• Temat i słowa kluczowe:
  Craig interpolation;
  Algebraic logic;
  Superamalgamation;
  03G27
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/26411 ;
  2449-836X;
  10.18778/0138-0680.47.1.04
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  obrazy