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.
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
Po decyzji o przyjęciu artykułu do druku, autor podpisuje z Wydawnictwem UKSW umowę o nieodpłatnym przeniesieniu majątkowych praw autorskich. W umowie tej autor wyraża także zgodę na publikację wraz z artykułem (w wersji papierowej i elektronicznej) danych o swojej afiliacji akademickiej, wraz z adresem służbowym i adresem e-mail, a także na wprowadzenie artykułu do internetowych baz czasopism, w tym pełnotekstowych, z którymi czasopismo współpracuje.