- Tytuł:
-
Semantyki dla intuicjonistycznego rachunku zdań
Semantics for Intuitionistic Propositional Logic - Autorzy:
- Doboszewski, Juliusz
- Słowa kluczowe:
-
semantyka teoriogrowa, struktury Kripkego, algebry Heytinga, semantyka topologiczna, intuicjonistyczny rachunek zdań
intuitionistic propositional logic, game semantics, Kripke structures, Heyting algebras, topological semantics - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego
Inne