- 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 - 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.
- Źródło:
-
Bulletin of the Section of Logic; 2018, 47, 1
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł