- Tytuł:
- Categorical abstract algebraic logic weakly referential π-institutions
- Autorzy:
- Voutsadakis, G.
- Data publikacji:
- 2016
- Słowa kluczowe:
-
referential logics
selfextensional logics
referential semantics
referential π-institutions
selfextensional π-institutions - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł