Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Najkrótsze aksjomaty modalnej logiki Łukasiewicza

Szczegóły
Opis

Tytuł:: Najkrótsze aksjomaty modalnej logiki Łukasiewicza
The Shortest Axioms of Łukasiewicz’s Modal Logic
Autorzy:: Dywan Zdzisław
Data publikacji:: 2016
Tematy:: aksjomatyzacja
logika modalna
axiomatization
modal logic
Język:: polski
Dostawca treści:: CEJSH
: Artykuł

Przejdź do źródła

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

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

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Najkrótsze aksjomaty modalnej logiki Łukasiewicza