Geodesic
Disjunctive Multiple-Conclusion Consequence Relations
Bulletin of the Section of Logic, Tome 48 (2019) no. 4.

Voir la notice de l'article provenant de la source Library of Science

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.
Keywords: multiple-conclusion consequence relation, closure operation, Galois connection 
@article{BSL_2019_48_4_a1,
     author = {Nowak, Marek},
     title = {Disjunctive {Multiple-Conclusion} {Consequence} {Relations}},
     journal = {Bulletin of the Section of Logic},
     publisher = {mathdoc},
     volume = {48},
     number = {4},
     year = {2019},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2019_48_4_a1/}
}
TY  - JOUR
AU  - Nowak, Marek
TI  - Disjunctive Multiple-Conclusion Consequence Relations
JO  - Bulletin of the Section of Logic
PY  - 2019
VL  - 48
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2019_48_4_a1/
LA  - en
ID  - BSL_2019_48_4_a1
ER  - 
%0 Journal Article
%A Nowak, Marek
%T Disjunctive Multiple-Conclusion Consequence Relations
%J Bulletin of the Section of Logic
%D 2019
%V 48
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2019_48_4_a1/
%G en
%F BSL_2019_48_4_a1
Nowak, Marek. Disjunctive Multiple-Conclusion Consequence Relations. Bulletin of the Section of Logic, Tome 48 (2019) no. 4. http://geodesic.mathdoc.fr/item/BSL_2019_48_4_a1/