Opis

• Tytuł:
  A post-style proof of completeness theorem for symmetric relatedness Logic S
• Twórca:
  Klonowski, Mateusz
• Współtwórca:
  Nicolaus Copernicus University, Department of Logic;
  matklon@doktorant.umk.pl
• Opis:
  One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem for logic S is one of them. Our paper introduces a solution of this metalogical issue.;
  research supported by National Science Centre of Poland through grant No.: UMO-2015/19/N/HS1/02401
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.;
  http://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2019.04.26;
  2018
• Typ:
  Article
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic; 3;
  47
• Temat i słowa kluczowe:
  normal forms;
  Post-style proof of completeness;
  Relatedness logic;
  Relating logic
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/28053 ;
  2449-836X;
  10.18778/0138-0680.47.3.05
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  obrazy