Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

On Some Language Extension of Logic MR: A Semantic and Tableau Approach

Tytuł:
On Some Language Extension of Logic MR: A Semantic and Tableau Approach
O pewnym językowym rozszerzeniu logiki MR: podejście semantyczne i tabelau
Autorzy:
Jarmużek, Tomasz
Parol, Aleksander
Powiązania:
https://bibliotekanauki.pl/articles/1791008.pdf
Data publikacji:
2021-01-04
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
rozszerzenie minimalnej logiki pozycyjnej
MR
logika pozycyjna
operator realizacji
metody tableau
extension of minimal positional logic
positional logic
realization operator
tableau methods
Źródło:
Roczniki Filozoficzne; 2020, 68, 4; 345-366
0035-7685
Język:
angielski
Prawa:
CC BY-NC-ND: Creative Commons Uznanie autorstwa - Użycie niekomercyjne - Bez utworów zależnych 4.0
Dostawca treści:
Biblioteka Nauki
Artykuł
  Przejdź do źródła  Link otwiera się w nowym oknie
In the article we present an extension of the minimal, normal positional logic, i.e., the logic with realization operator MR. Positional logic is a philosophical logic that makes it possible to relate sentences to contexts that can be understood in many ways. We enrich the basic language of minimal positional logic with additional expressions built with predicates and positional constants. We also accept expressions built with the realization operator and many positions, like: Ra1,K,an(A). Thanks to this, we increased the expressivity of minimal positional logic. In the article we point to many examples of the fact that, thanks to this small change, complex theories based on the proposed extension can be created. As a theory of proof for our logic, we assume tableau methods, showing soundness and completeness theorems. At the end, however, we show that the logic studied here is only a language extension of the MR: all theorems of the extension have their equivalents in pure MR theorems. However, theories built upon the proposed extension can express much more than theories built upon pure MR.

W artykule przedstawiamy rozszerzenie minimalnej, normalnej logiki pozycyjnej, czyli logiki z operatorem realizacji. Logika pozycyjna to logika filozoficzna, która umożliwia odniesienie zdań do kontekstów, które można rozumieć na wiele sposobów. Wzbogacamy podstawowy język minimalnej logiki pozycyjnej o dodatkowe wyrażenia zbudowane z predykatów i stałych pozycyjnych. Akceptujemy również wyrażenia zbudowane z operatorem realizacji oraz wiele pozycji, takich jak: Ra1,K,an(A) Dzięki temu zwiększyliśmy wyrazistość minimalnej logiki pozycyjnej. W artykule wskazujemy na wiele przykładów na to, że dzięki tej niewielkiej zmianie mogą powstać złożone teorie oparte na proponowanym rozszerzeniu. Jako teorię dowodu dla naszej logiki zakładamy metody tableau, pokazujące twierdzenia o poprawności i zupełności. Na koniec jednak pokazujemy, że badana tutaj logika jest tylko rozszerzeniem językowym MR: wszystkie twierdzenia o przedłużeniu mają swoje odpowiedniki w czystych twierdzeniach MR. Jednak teorie oparte na proponowanym rozszerzeniu mogą wyrazić znacznie więcej niż teorie oparte na czystej MR.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies