Studia Logica 48 (3):269 - 278 (1989)
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||categorize this paper)|
References found in this work BETA
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
Categorical Semantics for Higher Order Polymorphic Lambda Calculus.R. A. G. Seely - 1987 - Journal of Symbolic Logic 52 (4):969-989.
Citations of this work BETA
Lambek Vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus.Bob Coecke, Edward Grefenstette & Mehrnoosh Sadrzadeh - 2013 - Annals of Pure and Applied Logic 164 (11):1079-1100.
Similar books and articles
Categorical and Algebraic Aspects of Martin-Löf Type Theory.Adam Obtułowicz - 1989 - Studia Logica 48 (3):299 - 317.
Category Theory: The Language of Mathematics.Elaine Landry - 1999 - Philosophy of Science 66 (3):27.
Paraconsistency in Categories: Case of Relevance Logic.Vladimir L. Vasyukov - 2011 - Studia Logica 98 (3):429-443.
A Theorem in 3-Valued Model Theory with Connections to Number Theory, Type Theory, and Relevant Logic.J. Michael Dunn - 1979 - Studia Logica 38 (2):149 - 169.
Categorical Abstract Algebraic Logic: Equivalent Institutions.George Voutsadakis - 2003 - Studia Logica 74 (1-2):275 - 311.
Sets, Classes, and Categories.F. A. Muller - 2001 - British Journal for the Philosophy of Science 52 (3):539-573.
Axiomatizing a Category of Categories.Colin McLarty - 1991 - Journal of Symbolic Logic 56 (4):1243-1260.
Added to index2009-01-28
Total downloads72 ( #70,668 of 2,152,003 )
Recent downloads (6 months)1 ( #398,812 of 2,152,003 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.