Artykuł 2023
Aksjomatyzacja czterowartościowej logiki modalnej Łukasiewicza
Autorzy / redaktorzy: Mateusz Lisowski
Publikacja nadrzędna: Colloquia Theologica Ottoniana
Przedmiotem artykułu jest aksjomatyzacja logiki Ł-modalnej Jana Łukasiewicza. Logika ta jest ściśle regularną, czterowartościową logiką modalną, której matryca jest produktem dwóch różnych matryc klasycznego rachunku zdań. Logika Ł-modalna wyrasta wprost z dyskusji filozoficznych…
DOI: 10.18276/cto.2023.39-08 · ISSN: 1731-0555