- 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
|
|
Nonstandard proof methods in toposes.José Siqueira - 2024 - Annals of Pure and Applied Logic 175 (5):103424.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
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.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
|
|
Categorical harmony and path induction.Patrick Walsh - 2017 - Review of Symbolic Logic 10 (2):301-321.details
|
|
On duality and model theory for polyadic spaces.Sam van Gool & Jérémie Marquès - 2024 - Annals of Pure and Applied Logic 175 (2):103388.details
|
|
On the semantics of the universal quantifier.Djordje Ubri - 1997 - Annals of Pure and Applied Logic 87 (3):209-239.details
|
|
On the semantics of the universal quantifier.Djordje Čubrić - 1997 - Annals of Pure and Applied Logic 87 (3):209-239.details
|
|
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
|
|
Negating as turning upside down.Bartłomiej Skowron & Wiesław Kubiś - 2018 - Studies in Logic, Grammar and Rhetoric 54 (1):115-129.details
|
|
Hyperdoctrines, Natural Deduction and the Beck Condition.Robert A. G. Seely - 1983 - Mathematical Logic Quarterly 29 (10):505-542.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
|
|
On completeness and cocompleteness in and around small categories.Duško Pavlović - 1995 - Annals of Pure and Applied Logic 74 (2):121-152.details
|
|
A characterization of those categories whose internal logic is Hilbert's ε-calculus.Fabio Pasquali - 2019 - Annals of Pure and Applied Logic 170 (4):446-464.details
|
|
Internal Diagrams and Archetypal Reasoning in Category Theory.Eduardo Ochs - 2013 - Logica Universalis 7 (3):291-321.details
|
|
Modes of Adjointness.M. Menni & C. Smith - 2013 - Journal of Philosophical Logic (2-3):1-27.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
|
|
Foundations as truths which organize mathematics.Colin Mclarty - 2013 - Review of Symbolic Logic 6 (1):76-86.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
|
|
Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation.Yoshihiro Maruyama - 2021 - Journal of Symbolic Logic 86 (3):1189-1213.details
|
|
Category theory and the foundations of mathematics: Philosophical excavations.Jean-Pierre Marquis - 1995 - Synthese 103 (3):421 - 447.details
|
|
Quotient Completion for the Foundation of Constructive Mathematics.Maria Emilia Maietti & Giuseppe Rosolini - 2013 - Logica Universalis 7 (3):371-402.details
|
|
A minimalist two-level foundation for constructive mathematics.Maria Emilia Maietti - 2009 - Annals of Pure and Applied Logic 160 (3):319-354.details
|
|
A characterization of generalized existential completions.Maria Emilia Maietti & Davide Trotta - 2023 - Annals of Pure and Applied Logic 174 (4):103234.details
|
|
On the consistency of choice.Ola Mahmoud - 2017 - Theory and Decision 83 (4):547-572.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
|
|
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
|
|
Functional completeness of cartesian categories.J. Lambek - 1974 - Annals of Mathematical Logic 6 (3):259.details
|
|
First-Order Logic in the Medvedev Lattice.Rutger Kuyper - 2015 - Studia Logica 103 (6):1185-1224.details
|
|
Ontological Pluralism and Multi-Quantificational Ontology.Zbigniew Król & Józef Lubacz - 2022 - Foundations of Science 27 (3):921-940.details
|
|
Imperative logic as based on a Galois connection.Arnold Johanson - 1988 - Theoria 54 (1):1-24.details
|
|
An interpretation of classical proofs.Glen Helman - 1983 - Journal of Philosophical Logic 12 (1):39 - 71.details
|
|
Foundations as a branch of mathematics.William S. Hatcher - 1972 - Journal of Philosophical Logic 1 (3/4):349 - 358.details
|
|
Topos Theory in Montréal in the 1970s: My Personal Involvement.Gonzalo E. Reyes - 2019 - History and Philosophy of Logic 40 (4):389-402.details
|
|
Exact completion and constructive theories of sets.Jacopo Emmenegger & Erik Palmgren - 2020 - Journal of Symbolic Logic 85 (2):563-584.details
|
|
A characterisation of elementary fibrations.Jacopo Emmenegger, Fabio Pasquali & Giuseppe Rosolini - 2022 - Annals of Pure and Applied Logic 173 (6):103103.details
|
|
On Adjoint and Brain Functors.David Ellerman - 2016 - Axiomathes 26 (1):41-61.details
|
|
Models of Deduction.Kosta Dosen - 2006 - Synthese 148 (3):639-657.details
|
|
Representing conjunctive deductions by disjunctive deductions.Kosta Došen & Zoran Petrić - 2017 - Review of Symbolic Logic 10 (1):145-157.details
|
|
Identity of proofs based on normalization and generality.Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (4):477-503.details
|
|
Coherence in linear predicate logic.Kosta Došen & Zoran Petrić - 2009 - Annals of Pure and Applied Logic 158 (1-2):125-153.details
|
|
Gödel on Deduction.Kosta Došen & Miloš Adžić - 2019 - Studia Logica 107 (1):31-51.details
|
|
Alpha-conversion, conditions on variables and categorical logic.Pierre-Louis Curien - 1989 - Studia Logica 48 (3):319 - 360.details
|
|
The Axiom of Infinity and Transformations j: V → V.Paul Corazza - 2010 - Bulletin of Symbolic Logic 16 (1):37-84.details
|
|
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
|
|
Factorizing the Top\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {Top}$$\end{document}–Loc\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {Loc}$$\end{document} adjunction through positive topologies. [REVIEW]Francesco Ciraulo, Tatsuji Kawai & Samuele Maschio - 2021 - Archive for Mathematical Logic 60 (7-8):967-979.details
|
|
Grothendieck’s theory of schemes and the algebra–geometry duality.Gabriel Catren & Fernando Cukierman - 2022 - Synthese 200 (3):1-41.details
|
|
The shuffle Hopf algebra and noncommutative full completeness.R. F. Blute & P. J. Scott - 1998 - Journal of Symbolic Logic 63 (4):1413-1436.details
|
|