Temat: relating logic - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: A Post-style proof of completeness theorem for symmetric relatedness Logic S
Autorzy:: Klonowski, Mateusz
Tematy:: normal forms
Post-style proof of completeness
relatedness logic
relating logic; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/749984.pdf Link otwiera się w nowym oknie
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.
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: Modal Boolean Connexive Logics: Semantics and Tableau Approach
Autorzy:: Jarmużek, Tomasz
Malinowski, Jacek
Tematy:: Boolean connexive logics
connexive logic
modal Boolean connexive logics
modal logics
normal modal logics
possible worlds semantics
relatedness
relating logic
relating semantics
tableau methods; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/749968.pdf Link otwiera się w nowym oknie
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.
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja