- Category theory and the foundations of mathematics: Philosophical excavations.Jean-Pierre Marquis - 1995 - Synthese 103 (3):421 - 447.details
|
|
The meaning of category theory for 21st century philosophy.Alberto Peruzzi - 2006 - Axiomathes 16 (4):424-459.details
|
|
Two forms of the axiom of choice for an elementary topos.Anna Michaelides Penk - 1975 - Journal of Symbolic Logic 40 (2):197-212.details
|
|
The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.details
|
|
(1 other version)The shuffle Hopf algebra and noncommutative full completeness.R. F. Blute & P. J. Scott - 1998 - Journal of Symbolic Logic 63 (4):1413-1436.details
|
|
Functorial Semantics for the Advancement of the Science of Cognition.Posina Venkata Rayudu, Dhanjoo N. Ghista & Sisir Roy - 2017 - Mind and Matter 15 (2):161–184.details
|
|
Nonstandard proof methods in toposes.José Siqueira - 2024 - Annals of Pure and Applied Logic 175 (5):103424.details
|
|
On Not Saying What We Shouldn't Have to Say.Shay Logan & Leach-Krouse Graham - 2021 - Australasian Journal of Logic 18 (5):524-568.details
|
|
Functorial Semantics for the Advancement of the Science of Cognition.Venkata Posina, Dhanjoo N. Ghista & Sisir Roy - 2017 - Mind and Matter 15 (2):161-184.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
Exact completion and constructive theories of sets.Jacopo Emmenegger & Erik Palmgren - 2020 - Journal of Symbolic Logic 85 (2):563-584.details
|
|
Hard, Harder, and the Hardest Problem: The Society of Cognitive Selves.Venkata Rayudu Posina - 2020 - Tattva - Journal of Philosophy 12 (1):75-92.details
|
|
(1 other version)Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
A Brief Introduction to Transcendental Phenomenology and Conceptual Mathematics.Nicholas Lawrence - 2017 - Dissertation, details
|
|
Categorical harmony and path induction.Patrick Walsh - 2017 - Review of Symbolic Logic 10 (2):301-321.details
|
|
Gödel’s notre dame course.Miloš Adžić & Kosta Došen - 2016 - Bulletin of Symbolic Logic 22 (4):469-481.details
|
|
Category theory and set theory as theories about complementary types of universals.David P. Ellerman - 2017 - Logic and Logical Philosophy 26 (2):1-18.details
|
|
Prior’s tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism.Yoshihiro Maruyama - 2016 - Synthese 193 (11).details
|
|
On Adjoint and Brain Functors.David Ellerman - 2016 - Axiomathes 26 (1):41-61.details
|
|
First-Order Logic in the Medvedev Lattice.Rutger Kuyper - 2015 - Studia Logica 103 (6):1185-1224.details
|
|
On Concrete Universals: A Modern Treatment using Category Theory.David Ellerman - 2014 - AL-Mukhatabat.details
|
|
Coherence in linear predicate logic.Kosta Došen & Zoran Petrić - 2009 - Annals of Pure and Applied Logic 158 (1-2):125-153.details
|
|
Quotient Completion for the Foundation of Constructive Mathematics.Maria Emilia Maietti & Giuseppe Rosolini - 2013 - Logica Universalis 7 (3):371-402.details
|
|
(1 other version)Modes of Adjointness.M. Menni & C. Smith - 2013 - Journal of Philosophical Logic (2-3):1-27.details
|
|
Imperative logic as based on a Galois connection.Arnold Johanson - 1988 - Theoria 54 (1):1-24.details
|
|
Category theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Alpha-conversion, conditions on variables and categorical logic.Pierre-Louis Curien - 1989 - Studia Logica 48 (3):319 - 360.details
|
|
Intuitionistic logic versus paraconsistent logic. Categorical approach.Mariusz Kajetan Stopa - 2023 - Dissertation, Jagiellonian Universitydetails
|
|
Abstract Categorical Logic.Marc Aiguier & Isabelle Bloch - 2023 - Logica Universalis 17 (1):23-67.details
|
|
Grothendieck’s theory of schemes and the algebra–geometry duality.Gabriel Catren & Fernando Cukierman - 2022 - Synthese 200 (3):1-41.details
|
|
Hyperdoctrines and the Ontology of Stratified Semantics.Shay Logan - 2020 - In Davide Fazio, Antonio Ledda & Francesco Paoli (eds.), Algebraic Perspectives on Substructural Logics. Springer International Publishing. pp. 169-193.details
|
|
Abstract logical structuralism.Jean-Pierre Marquis - 2020 - Philosophical Problems in Science 69:67-110.details
|
|
Functional completeness of cartesian categories.J. Lambek - 1974 - Annals of Mathematical Logic 6 (3):259.details
|
|
Category Theory: A Gentle Introduction.Peter Smith - manuscriptdetails
|
|
Mac Lane, Bourbaki, and Adjoints: A Heteromorphic Retrospective.David Ellerman - manuscriptdetails
|
|
On the self-predicative universals of category theory.David Ellerman - manuscriptdetails
|
|
Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (2):77-94.details
|
|
A characterization of generalized existential completions.Maria Emilia Maietti & Davide Trotta - 2023 - Annals of Pure and Applied Logic 174 (4):103234.details
|
|
The Methodological Roles of Tolerance and Conventionalism in the Philosophy of Mathematics: Reconsidering Carnap's Logic of Science.Emerson P. Doyle - 2014 - Dissertation, University of Western Ontariodetails
|
|
Foundations as truths which organize mathematics.Colin Mclarty - 2013 - Review of Symbolic Logic 6 (1):76-86.details
|
|
Programs, grammars and arguments: A personal view of some connections between computation, language and logic.J. Lambek - 1997 - Bulletin of Symbolic Logic 3 (3):312-328.details
|
|
(1 other version)Factorizing the $$\mathbf {Top}$$ Top – $$\mathbf {Loc}$$ Loc adjunction through positive topologies.Francesco Ciraulo, Tatsuji Kawai & Samuele Maschio - 2021 - Archive for Mathematical Logic 60 (7):967-979.details
|
|
Gödel on Deduction.Kosta Došen & Miloš Adžić - 2019 - Studia Logica 107 (1):31-51.details
|
|
On the consistency of choice.Ola Mahmoud - 2017 - Theory and Decision 83 (4):547-572.details
|
|
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.details
|
|
Topology and modality: The topological interpretation of first-order modal logic: Topology and modality.Steve Awodey - 2008 - Review of Symbolic Logic 1 (2):146-166.details
|
|
A characterisation of elementary fibrations.Jacopo Emmenegger, Fabio Pasquali & Giuseppe Rosolini - 2022 - Annals of Pure and Applied Logic 173 (6):103103.details
|
|
Ontological Pluralism and Multi-Quantificational Ontology.Zbigniew Król & Józef Lubacz - 2022 - Foundations of Science 27 (3):921-940.details
|
|
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|
Identity of proofs based on normalization and generality.Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (4):477-503.details
|
|