A global glance on categories in logic
Logica Universalis 1 (1) (2007)
| Abstract | . We explore the possibility and some potential payoffs of using the theory of accessible categories in the study of categories of logics. We illustrate this by two case studies focusing on the category of finitary structural logics and its subcategory of algebraizable logics. | |||||||||
| 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,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesSven Ove Hansson (2006). Category-Specified Value Statements. Synthese 148 (2):425 - 432.
Ralf M. Bader (2009). Kant and the Categories of Freedom. British Journal for the History of Philosophy 17 (4):799-820.
Burghard Herrmann (1996). Equivalential and Algebraizable Logics. Studia Logica 57 (2-3):419 - 436.
Burghard Herrmann (1997). Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator. Studia Logica 58 (2):305-323.
Marcelo E. Coniglio (2007). Recovering a Logic From its Fragments by Meta-Fibring. Logica Universalis 1 (2):377-416.
Jan Westerhoff (2004). The Construction of Ontological Categories. Australasian Journal of Philosophy 82 (4):595 – 620.
George Georgescu (2006). N-Valued Logics and Łukasiewicz–Moisil Algebras. Axiomathes 16 (1-2).
Colin McLarty (1991). Axiomatizing a Category of Categories. Journal of Symbolic Logic 56 (4):1243-1260.
Jiří Rosický (1997). Accessible Categories, Saturation and Categoricity. Journal of Symbolic Logic 62 (3):891-901.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads7 ( #133,479 of 549,084 )Recent downloads (6 months)1 ( #63,317 of 549,084 )How can I increase my downloads? |
My notes
Discussion
