Algebraic Characterization of the Local Craig Interpolation Property

Szczegóły
Opis

Tytuł:: Algebraic Characterization of the Local Craig Interpolation Property
Autorzy:: Gyenis, Zalán
Powiązania:: https://bibliotekanauki.pl/articles/749892.pdf
Data publikacji:: 2018
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Craig interpolation
Algebraic logic
Superamalgamation
Źródło:: Bulletin of the Section of Logic; 2018, 47, 1
0138-0680
2449-836X
Język:: angielski
Prawa:: CC BY-NC-ND: Creative Commons Uznanie autorstwa - Użycie niekomercyjne - Bez utworów zależnych 4.0
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

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.

Informacja

Powiązane pozycje