- Tytuł:
- Disjunctive Multiple-Conclusion Consequence Relations
- Autorzy:
- Nowak, Marek
- Powiązania:
- https://bibliotekanauki.pl/articles/750032.pdf
- Data publikacji:
- 2019
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
multiple-conclusion consequence relation
closure operation
Galois connection - Opis:
- The concept of multiple-conclusion consequence relation from [8] and [7] is considered. The closure operation C assigning to any binary relation r (dened on the power set of a set of all formulas of a given language) the least multiple-conclusion consequence relation containing r, is dened on the grounds of a natural Galois connection. It is shown that the very closure C is an isomorphism from the power set algebra of a simple binary relation to the Boolean algebra of all multiple-conclusion consequence relations.
- Źródło:
-
Bulletin of the Section of Logic; 2019, 48, 4
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł