Najkrótsze aksjomaty modalnej logiki Łukasiewicza

• Authors: Dywan Zdzisław

Title variants

EN

The Shortest Axioms of Łukasiewicz’s Modal Logic

• Languages of publication: PL

Abstracts

PL

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

EN

We show that the formula CLpEqLq axiomatizes Łukasiewicz’s modal logic and that there exists no shorter axiom for it.

Keywords

PL

aksjomatyzacja; logika modalna

EN

axiomatization; modal logic

• Publisher: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
• Journal: Roczniki Filozoficzne
• Year: 2016
• Volume: 64
• Issue: 2
• Pages: 5-9

Dates

published

2016

Contributors

author

Dywan Zdzisław

• Wydział Filozofii, Katolicki Uniwersytet Lubelski Jana Pawła II

References

• Lemmon, E[dward] J. „Algebraic semantics for modal logics II”. The Jornal 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.

Identifiers

DOI

10.18290/rf.2016.64.2-1