Category-Theoretic Logic is a formal system that interprets logical constructs and reasoning processes through the structural frameworks of category theory, distinguishing itself by representing logical operations as morphisms and logical dependencies as categorical compositions within suitable categories.
214
Publications
8.5K
Citations
300
Authors
172
Institutions
Publications per year
2017–2026
28
Parents
Publications
214
Basic category theory for computer scientists
Choice Reviews Online · 1992 · 393 citations
A LOGIC OF ARGUMENTATION FOR REASONING UNDER UNCERTAINTY
Paul Krause, Simon Ambler, Morten Elvang-Gøransson et al. · Computational Intelligence · 1995 · 266 citations
Joseph A. Goguen · Mathematical Structures in Computer Science · 1991 · 232 citations
1–5 of 214
Authors
300
- JP
13
h-index
- RA
6
h-index
- AC
6
h-index
- MH
6
h-index
- JC
6
h-index
1–5 of 300
Institutions
172
University of Edinburgh
Edinburgh, United Kingdom
15 h-index
18 publications
978 citations
University of Cambridge
Cambridge, United Kingdom
12 h-index
16 publications
813 citations
University of Oxford
Oxford, United Kingdom
10 h-index
10 publications
465 citations
Radboud University Nijmegen
Nijmegen, The Netherlands
7 h-index
10 publications
196 citations
McGill University
Montreal, Canada
5 h-index
6 publications
134 citations
Imperial College London
London, United Kingdom
5 h-index
7 publications
251 citations
University of Pisa
Pisa, Italy
4 h-index
7 publications
182 citations
University of Ottawa
Ottawa, Canada
4 h-index
6 publications
145 citations
1–8 of 172
Venues
- Mathematical Structures in Computer Science
MSCS · 24 publications · 1.3K citations
17
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 22 publications · 579 citations
15
h-index
- arXiv (Cornell University)
Repository · 13 publications · 252 citations
10
h-index
- Theory and applications of categories
TAC · 7 publications · 184 citations
8
h-index
- Journal of Pure and Applied Algebra
8 publications · 453 citations
8
h-index
1–5