 Extension, Translation, and the CantorBernstein Property.Thomas William Barrett & Hans Halvorson  manuscriptdetails
 A BIBLIOGRAPHY: JOHN CORCORAN's PUBLICATIONS ON ARISTOTLE 1972–2015.John Corcoran  manuscriptdetails
 Zeno Paradox, Unexpected Hanging Paradox (Modeling of Reality & Physical Reality, A HistoricalPhilosophical View).Farzad Didehvar  manuscriptdetails
 Computational Reverse Mathematics and Foundational Analysis.Benedict Eastaugh  manuscriptdetails
 Partitions and Objective Indefiniteness.David Ellerman  manuscriptdetails
 The Impacts of Logic, Paradoxes in One Side and Theory of Computation in the Other Side.Didehvar Farzad  manuscriptdetails
 Algunos tópicos de Lógica matemática y los Fundamentos de la matemática.Franklin Galindo  manuscriptdetails
 What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks  manuscriptdetails
 Random Formula Generators.Ariel Jonathan Roffé & Joaquín Toranzo Calderón  manuscriptdetails
 Formal Differential Variables and an Abstract Chain Rule.Samuel Alexander  forthcoming  Proceedings of the ACMS.details
 Structural Relativity and Informal Rigour.Neil Barton  forthcoming  In Objects, Structures, and Logics, FilMat Studies in the Philosophy of Mathematics.details
 Bolzano’s Mathematical Infinite.Anna Bellomo & Guillaume Massas  forthcoming  Review of Symbolic Logic:180.details
 Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor  forthcoming  Review of Symbolic Logic.details
 The WellOrdered Society Under Crisis: A Formal Analysis of Public Reason Vs. Convergence Discourse.Hun Chung  forthcoming  American Journal of Political Science:120.details
 Computational Logic. Vol. 1: Classical Deductive Computing with Classical Logic. 2nd Ed.Luis M. Augusto  2022  London: College Publications.details
 Mutual translatability, equivalence, and the structure of theories.Thomas William Barrett & Hans Halvorson  2022  Synthese 200 (3):136.details
 On Representations of Intended Structures in Foundational Theories.Neil Barton, Moritz Müller & Mihai Prunescu  2022  Journal of Philosophical Logic 51 (2):283296.details
 And Now for Something Completely Different: The Elementary Process Theory. Revised, Updated and Extended 2nd Edition of the Dissertation with Almost the Same Title.Marcoen J. T. F. Cabbolet  2022  Utrecht: Eburon Academic Publishers.details
 Weakly Free Multialgebras.Marcelo E. Coniglio & Guilherme V. Toledo  2022  Bulletin of the Section of Logic 51 (1):109141.details
 Lógica Matemática y el Método de Polya para resolver problemas matemáticos.Franklin Galindo  2022  Dissertation, details
 CutConditions on Sets of MultipleAlternative Inferences.Harold T. Hodes  2022  Mathematical Logic Quarterly 68 (1):95  106.details
 Combing Graphs and Eulerian Diagrams in Eristic.Jens Lemanski & Reetu Bhattacharjee  2022  In Valeria Giardino, Sven Linker, Tony Burns, Francesco Bellucci, J. M. Boucheix & Diego Viana (eds.), Diagrammatic Representation and Inference. 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings. Cham: pp. 97–113.details
 Para Todxs: Natal  uma introdução à lógica formal.P. D. Magnus, Tim Button, Robert Loftis, Robert Trueman, Aaron Thomas Bolduc, Richard Zach, Daniel Durante, Maria da Paz Nunes de Medeiros, Ricardo Gentil de Araújo Pereira, Tiago de Oliveira Magalhães, Hudson Benevides, Jordão Cardoso, Paulo Benício de Andrade Guimarães & Valdeniz da Silva Cruz Junior  2022  NatalRN: PPGFILUFRN.details
 Extension and SelfConnection.Ben Blumson & Manikaran Singh  2021  Logic and Logical Philosophy 30 (3):43559.details
 The Normalization Theorem for the FirstOrder Classical Natural Deduction with Disjunctive Syllogism.Seungrak Choi  2021  Korean Journal of Logic 2 (24):143168.details
 Display to Labeled Proofs and Back Again for Tense Logics.Agata Ciabattoni, Tim Lyon, Revantha Ramanayake & Alwen Tiu  2021  ACM Transactions on Computational Logic 22 (3):131.details
 Nested Sequents for Intuitionistic Modal Logics Via Structural Refinement.Tim Lyon  2021  In Anupam Das & Sara Negri (eds.), Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 2021. 93413 Cham, Germany: pp. 409427.details
 On the Correspondence Between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon  2021  Journal of Logic and Computation 31 (1):213265.details
 Refining Labelled Systems for Modal and Constructive Logics with Applications.Tim Lyon  2021  Dissertation, Technischen Universität Wiendetails
 Sets, Logic, Computation: An Open Introduction to Metalogic.Richard Zach  2021  Open Logic Project.details
 Logical Consequences. Theory and Applications: An Introduction.Luis M. Augusto  2020  London: College Publications.details
 ManyValued Logics. A Mathematical and Computational Introduction.Luis M. Augusto  2020  London: College Publications.details
 Forcing and the Universe of Sets: Must We Lose Insight?Neil Barton  2020  Journal of Philosophical Logic 49 (4):575612.details
 InnerModel Reflection Principles.Neil Barton, Andrés Eduardo Caicedo, Gunter Fuchs, Joel David Hamkins, Jonas Reitz & Ralf Schindler  2020  Studia Logica 108 (3):573595.details
 Review of John Stillwell, Reverse Mathematics: Proofs From the Inside Out. [REVIEW]Benedict Eastaugh  2020  Philosophia Mathematica 28 (1):108116.details
 Un teorema sobre el Modelo de Solovay.Franklin Galindo  2020  Divulgaciones Matematicas 21 (12): 42–46.details
 Tópicos de Ultrafiltros.Franklin Galindo  2020  Divulgaciones Matematicas 21 (12):5477.details
 Doing the Math: Comparing Ontario and Singapore Mathematics Curriculum at the Primary Level.Dieu Trang Hoang  2020  Dissertation, Brock Universitydetails
 Forms of Structuralism: Bourbaki and the Philosophers.JeanPierre Marquis  2020  Structures Meres, Semantics, Mathematics, and Cognitive Science.details
 J. M. Bocheński's Understanding of the World and Logical Albebraic Structures.WybraniecSkardowska Urszula  2020  Edukacja Filozoficzna 70 (5):8192.details
 Concerning Formal Concept Analysis on Complete Residuated Lattices.Abner de Mattos Brito  2019  Dissertation, University of Campinas, Brazildetails
 Set Existence Principles and Closure Conditions: Unravelling the Standard View of Reverse Mathematics.Benedict Eastaugh  2019  Philosophia Mathematica 27 (2):153176.details
 There is No Standard Model of ZFC and ZFC2. Part II.Jaykov Foukzon & Elena Men’Kova  2019  Advanced in Pure Mathematic 9 (9):685744.details
 Algunas notas introductorias sobre la Teoría de Conjuntos.Franklin Galindo  2019  Apuntes Filosóficos: Revista Semestral de la Escuela de Filosofía 18 (55):201232.details
 ¿Cómo utilizar el Teorema de Herbrand para decidir la validez de razonamientos en lenguaje de primer orden, en conformidad con el Teorema de Indecidibilidad de Church?Franklin Galindo & María Alejandra Morgado  2019  Apuntes Filosóficos: Revista Semestral de la Escuela de Filosofía 18 (55):6786.details
 Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union.Dimitris Kilakos  2019  Transversal: International Journal for the Historiography of Science 6:4964.details
 Embedding Classical Logic in S4.Sophie Nagler  2019  Dissertation, Munich Center for Mathematical Philosophy (MCMP), LMU Munichdetails
 Incompleteness and Computability: An Open Introduction to Gödel's Theorems.Richard Zach  2019  Open Logic Project.details
 Willard Van Orman Quine's Philosophical Development in the 1930s and 1940s.Frederique JanssenLauret  2018  In Walter Carnielli, Frederique JanssenLauret & William Pickering (eds.), The Significance of the New Logic. Cambridge: Cambridge University Press.details
 Computable BiEmbeddable Categoricity.Luca San Mauro, Nikolay Bazhenov, Ekaterina Fokina & Dino Rossegger  2018  Algebra and Logic 5 (57):392396.details

Offcampus access
Using PhilArchive from home?
Create an account to enable offcampus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email

RSS feed

About us
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.
