Categorical logic (Q5051813)
Jump to navigation
Jump to search
branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science.
- categorical logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Categorical logic |
branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science. |
|
Statements
Identifiers
Sitelinks
Wikipedia(6 entries)
- azwiki Məntiqi kateqoriyalar
- cswiki Kategorická logika
- enwiki Categorical logic
- itwiki Logica categorica
- nlwiki Categorische logica
- ptwiki Lógica categórica