- Tytuł:
- Deduction theorem in congruential modal logics
- Autorzy:
- Krawczyk, Krzysztof
- Data publikacji:
- 2023
- Słowa kluczowe:
-
abstract algebra
modal logic
modal algebra
local deduction theorem - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego