Opis

• Tytuł:
  A Note on Ciuciura’s mbC1
• Twórca:
  Omori, Hitoshi
• Współtwórca:
  Ruhr-Universität Bochum, Department of Philosophy I;
  Hitoshi.Omori@rub.de
• Opis:
  This note offers a non-deterministic semantics for mbC1, introduced by Janusz Ciuciura, and establishes soundness and (strong) completeness results with respect to the Hilbert-style proof system. Moreover, based on the new semantics, we briefly discuss an unexplored variant of mbC1 which has a contra-classical flavor.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2021.05.05;
  2019.10.30
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;3;
  48
• Temat i słowa kluczowe:
  paraconsistent logic;
  non-deterministic semantics contra-classical logic
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/35359 ;
  2449-836X;
  10.18778/0138-0680.48.3.01
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe