Najkrótsze aksjomaty modalnej logiki Łukasiewicza
The Shortest Axioms of Łukasiewicz’s Modal Logic
Author(s): Zdzisław DywanSubject(s): Logic
Published by: Towarzystwo Naukowe KUL & Katolicki Uniwersytet Lubelski Jana Pawła II
Keywords: axiomatization; modal logic
Summary/Abstract: We show that the formula CLpEqLq axiomatizes Łukasiewicz’s modal logic and that there exists no shorter axiom for it.
Journal: Roczniki Filozoficzne
- Issue Year: 64/2016
- Issue No: 2
- Page Range: 5-9
- Page Count: 5
- Language: Polish