Opis

• Tytuł:
  Modal Boolean Connexive Logics: Semantics and Tableau Approach
• Twórca:
  Jarmużek, Tomasz;
  Malinowski, Jacek
• Współtwórca:
  Jarmużek, Tomasz - Nicolaus Copernicus University in Toruń, Poland, Department of Logic;
  Malinowski, Jacek - Polish Academy of Sciences, Institute of Philosophy and Sociology;
  Jarmużek, Tomasz - Tomasz.Jarmuzek@umk.pl;
  Malinowski, Jacek - Jacek.Malinowski@studialogica.org
• Opis:
  In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. We construct these logics by mixing relating semantics with possible worlds. This way, we obtain connexive counterparts of basic normal modal logics. However, most of their traditional axioms formulated in terms of modalities and implication do not hold anymore without additional constraints, since our implication is weaker than the material one. In the final section, we present a tableau approach to the discussed modal logics.
• 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:
  Boolean connexive logics;
  connexive logic;
  modal Boolean connexive logics;
  modal logics;
  normal modal logics;
  possible worlds semantics;
  relatedness;
  relating logic;
  relating semantics;
  tableau methods
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/35363 ;
  2449-836X;
  10.18778/0138-0680.48.3.05
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe