English
Polish
A three-valued doxastic logic based on Kleene’s and Bochvar’s ideas
Abstrakt
W tym artykule zaproponuję konstrukcję trójwartościowej logiki przekonań, którą nazywam: LSB3_1 (skrót od: logika trójwartościowa dla typu silnej wiary). Podam również i udowodnię kompletność LSB3_1 w odniesieniu do danej semantyki. LSB3_1 opiera się na preformalnych założeniach i intuicjach, które przedstawiono w sekcji 1. Sekcja 2 zawiera składnię i podział instrukcji LSB3_1 na wewnętrzne i zewnętrzne. Rozdział 3 przedstawia semantykę LSB3_1, a także szereg tautologii i formuł nietautologicznych w LSB3_1 wraz z ich intuicyjną interpretacją. System aksjomatyczny dla LSB3_1 i jego porównanie z silną logiką Kleene'a są przedstawione w sekcji 4. Twierdzenie o kompletności dla LSB3_1 jest przedstawione w rozdziale 5. Zdefiniuję termin koniunkcyjna forma normalna i przedstawię lematy, które prowadzą do udowodnienia redukcji języka LSB3_1 wzory przed udowodnieniem twierdzenia o zupełności.
Słowa kluczowe
logika doksastyczna ; silne przekonanie ; silna logika trójwartościowa Kleene'a ; łączniki wewnętrzne ; łączniki zewnętrzne ; twierdzenie o zupełności
Zasady cytowania
Licencja
Artykuły opublikowane w czasopismach wydawanych przez UKSW są objęte warunkami licencji Creative Commons CC BY-ND 4.0 Międzynarodowe, która zezwala na:
- Dzielenie się – Kopiowanie i rozpowszechnianie utworów w dowolnym medium i formacie; dla dowolnego celu, także komercyjnego.
Na następujących warunkach:
- Uznanie autorstwa – Utwór należy odpowiednio oznaczyć, podać link do licencji i wskazać jeśli zostały dokonane w nim zmiany. Można to zrobić w dowolny, rozsądny sposób, o ile nie sugeruje to udzielania przez licencjodawcę poparcia dla osoby dokonującej zmiany lub sposobu, w jaki wykorzystywany jest ten utwór.
- Bez utworów zależnych – Remiksując, przetwarzając lub tworząc na podstawie utworu, nie wolno rozpowszechniać zmodyfikowanych treści.
Polityka ws. opłat redakcyjnych: Autorzy nie ponoszą żadnych kosztów związanych z publikacją swoich artykułów, tj. opłat za przetwarzanie artykułów (APCs), opłat redakcyjnych, opłat za kolor, opłat za zgłoszenia, opłat za stronę, opłat członkowskich, kosztów prenumeraty druku, innych opłat dodatkowych. Autorzy nie otrzymują też żadnej gratyfikacji finansowej za opublikowane materiały.
Polityka ws. deponowania różnych wersji materiałów przesłanych do redakcji czasopism wydawanych na UKSW jest następująca: autorzy mogą bez żadnego embarga zdeponować: 1) przedłożoną, 2) zaakceptowaną oraz 3) opublikowaną wersję swoich artykułów w instytucjonalnych lub innych wybranych przez siebie repozytoriach.
