Opis

• Tytuł:
  Disjunctive Multiple-Conclusion Consequence Relations
• Twórca:
  Nowak, Marek
• Współtwórca:
  Department of Logic and Methodology of Science, University of Lodz, Poland;
  marek.nowak@filozof.uni.lodz.pl
• 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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2021.05.05;
  2019.12.31
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;4;
  48
• Temat i słowa kluczowe:
  multiple-conclusion consequence relation;
  closure operation;
  Galois connection
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/35368 ;
  2449-836X;
  10.18778/0138-0680.48.4.05
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe