Najkrótsze aksjomaty modalnej logiki Łukasiewicza

  • Zdzisław Dywan Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii
DOI: https://doi.org/10.18290/rf.2016.64.2-1
Słowa kluczowe: aksjomatyzacja; logika modalna

Abstrakt

Pokazujemy, że formuła CLpEqLq aksjomatyzuje logikę modalną Łukasiewicza i nie istnieje krótszy aksjomat dla tej logiki.

Bibliografia

Lemmon, E[dward] J. „Algebraic semantics for modal logics II”. The Journal of Symbolic Logic 31 (1996), 2:191–218.

Łukasiewicz, Jan. „A system of modal logic”. The Journal of Computing Systems 1 (1953), 3: 111–149.

Tkaczyk, Marcin. „On axiomatization of Łukasiewicz’s four-valued modal logic”. Logic and Logical Philosophy 20 (2011), 3: 215–232.

Opublikowane
2020-06-15
Numer
Tom 64 Nr 2 (2016)
Dział
Artykuły

Copyright (c) 2016 Roczniki Filozoficzne

Creative Commons License

Utwór dostępny jest na licencji Creative Commons Uznanie autorstwa – Użycie niekomercyjne – Bez utworów zależnych 4.0 Międzynarodowe.