Najkrótsze aksjomaty modalnej logiki Łukasiewicza

Published : 2016-06-30

Vol. 64 No. 2 (2016)

The Shortest Axioms of Łukasiewicz’s Modal Logic

DOI: https://doi.org/10.18290/rf.2016.64.2-1

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

axiomatization, modal logic

Details

References

Statistics

Authors

Download files

pdf (Język Polski)

Citation rules

Dywan, Z. (2016). The Shortest Axioms of Łukasiewicz’s Modal Logic. Roczniki Filozoficzne, 64(2), 6–9. https://doi.org/10.18290/rf.2016.64.2-1

Altmetric indicators

Cited by / Share

Licence