Disjunctive Multiple-Conclusion Consequence Relations

Bulletin of the Section of Logic 48 (4) (2019)
  Copy   BIBTEX

Abstract

The concept of multiple-conclusion consequence relation from [8] and [7] is considered. The closure operation C assigning to any binary relation r 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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2020-07-08

Downloads
8 (#1,345,183)

6 months
3 (#1,046,015)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Marek Nowak
University of Lodz

Citations of this work

No citations found.

Add more citations

References found in this work

Dual counterparts of consequence operations.Ryszard Wójcicki - 1973 - Bulletin of the Section of Logic 2 (1):54-57.

Add more references