On some connections between logic and category theory
Studia Logica 48 (3):269 - 278 (1989)
| Abstract | Categories may be viewed as deductive systems or as algebraic theories. We are primarily interested in the interplay between these two views and trace it through a number of structured categories and their internal languages, bearing in mind their relevance to the foundations of mathematics. We see this as a common thread running through the six contributions to this issue of Studia Logica. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAdam Obtułowicz (1989). Categorical and Algebraic Aspects of Martin-Löf Type Theory. Studia Logica 48 (3):299 - 317.
Elaine Landry (1999). Category Theory: The Language of Mathematics. Philosophy of Science 66 (3):27.
Vladimir L. Vasyukov (2011). Paraconsistency in Categories: Case of Relevance Logic. Studia Logica 98 (3):429-443.
J. Michael Dunn (1979). A Theorem in 3-Valued Model Theory with Connections to Number Theory, Type Theory, and Relevant Logic. Studia Logica 38 (2):149 - 169.
George Voutsadakis (2003). Categorical Abstract Algebraic Logic: Equivalent Institutions. Studia Logica 74 (1-2):275 - 311.
F. A. Muller (2001). Sets, Classes, and Categories. British Journal for the Philosophy of Science 52 (3):539-573.
Colin McLarty (1991). Axiomatizing a Category of Categories. Journal of Symbolic Logic 56 (4):1243-1260.
Kosta Došen (1996). Deductive Completeness. Bulletin of Symbolic Logic 2 (3):243-283.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads47 ( #23,622 of 556,888 )Recent downloads (6 months)3 ( #27,428 of 556,888 )How can I increase my downloads? |
My notes
Discussion
