Description

• Title:
  Disjunctive Multiple-Conclusion Consequence Relations
• Creator:
  Nowak, Marek
• Contributor:
  Department of Logic and Methodology of Science, University of Lodz, Poland;
  marek.nowak@filozof.uni.lodz.pl
• Description:
  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.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2021.05.05;
  2019.12.31
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;4;
  48
• Subject:
  multiple-conclusion consequence relation;
  closure operation;
  Galois connection
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/35368 ;
  2449-836X;
  10.18778/0138-0680.48.4.05
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other