aksjomatyzacja sylogistyki

Zobacz w:

ŁOŚ, Jerzy Maria Michał
Powiązane artykuły
Opublikowanyśroda, 1 października 2025
Zajawka

Miejsce w SLW: uczeń Jerzego Słupeckiego.

Obszary badań: logika matematyczna.

Najważniejsze wyniki: aksjomatyzacja sylogistyki, nieklasyczne systemy logiki temporalnej i epistemicznej, dowód twierdzenia o ultraprodukcie.

Version1.0