 Extension, Translation, and the CantorBernstein Property.Thomas William Barrett & Hans Halvorson  manuscriptdetails
 On Representations of Intended Structures in Foundational Theories.Neil Barton, Moritz Müller & Mihai Prunescu  manuscriptdetails
 Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor  manuscriptdetails
 A BIBLIOGRAPHY: JOHN CORCORAN's PUBLICATIONS ON ARISTOTLE 1972–2015.John Corcoran  manuscriptdetails
 Computational Reverse Mathematics and Foundational Analysis.Benedict Eastaugh  manuscriptdetails
 Partitions and Objective Indefiniteness.David Ellerman  manuscriptdetails
 What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks  manuscriptdetails
 Informal and Formal Proofs, Metalogic, and the Groundedness Problem.Mario Bacelar Valente  manuscriptdetails
 Structural Relativity and Informal Rigour.Neil Barton  forthcoming  In Objects, Structures, and Logics, FilMat Studies in the Philosophy of Mathematics.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  2020  London: College Publications.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
 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
 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
 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
 Incompleteness and Computability. An Open Introduction to Gödel's Theorems.Richard Zach  2019details
 Computational Logic. Vol. 1: Classical Deductive Computing with Classical Logic.Luis M. Augusto  2018  London: College Publications.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
 Repairing Ontologies Via Axiom Weakening.Daniele Porello & Oliver Kutz Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello  2018  In Proceedings of the ThirtySecond {AAAI} Conference on Artificial Intelligence, (AAAI18), the 30th innovative Applications of Artificial Intelligence (IAAI18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI18). pp. 19811988.details
 Rejection in Łukasiewicz's and Słupecki's Sense.WybraniecSkardowska Urszula  2018  In The LvovWarsaw School, Past and Present. Cham: pp. 575597.details
 Categories of First Order Quantifiers.Urszula WybraniecSkardowska  2018  LvovWarsaw School. Past and Present.details
 Rejection in Łukasiewicz's and Słupecki's Sense.Urszula WybraniecSkardowska  2018  In Urszula WybraniecSkardowska & Ángel Garrido (eds.), The LvovWarsaw School. Past and Present. Basel, Switzerland: pp. 575597.details
 The LvovWarsaw School. Past and Present.Urszula WybraniecSkardowska & Ángel Garrido (eds.)  2018  Cham, Switzerland: Springer Birkhauser,.details
 Temporal Justification Logic.S. Bucheli, M. Ghari & T. Studer  2017  Proceedings of the Ninth Workshop on Methods for Modalities (M4M9 2017), Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, Electronic Proceedings in Theoretical Computer Science 243, Pages 59–74.details
 Review of Denis R. Hirschfeldt, Slicing the Truth: On the Computability Theoretic and Reverse Mathematical Analysis of Combinatorial Principles. [REVIEW]Benedict Eastaugh  2017  Studia Logica 105 (4):873879.details
 There is No Standard Model of ZFC and ZFC_2. Part I.Jaykov Foukzon  2017  Journal of Advances in Mathematics and Computer Science 2 (26):120.details
 On the Concept of a Notational Variant.Alexander W. Kocurek  2017  In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). pp. 284298.details
 Natural Deduction for Diagonal Operators.Fabio Lampert  2017  In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. Cham: Birkhäuser. pp. 3951.details
 Frege's Begriffsschrift is Indeed FirstOrder Complete.Yang Liu  2017  History and Philosophy of Logic 38 (4):342344.details
 From Logical Calculus to Logical Formality—What Kant Did with Euler’s Circles.Huaping LuAdler  2017  In Corey W. Dyck & Falk Wunderlich (eds.), Kant and His German Contemporaries : Volume 1, Logic, Mind, Epistemology, Science and Ethics. Cambridge: Cambridge University Press. pp. 3555.details
 Mathematical Thinking Undefended on The Level of The Semester for Professional Mathematics Teacher Candidates. Toheri & Widodo Winarso  2017  Munich University Library.details
 Logic in the Tractatus.Max Weiss  2017  Review of Symbolic Logic 10 (1):150.details
 Sets, Logic, Computation. An Open Introduction to Metalogic.Richard Zach  2017details
 Guessing, MindChanging, and the Second Ambiguous Class.Samuel Alexander  2016  Notre Dame Journal of Formal Logic 57 (2):209220.details
 On Dummett’s Verificationist Justification Procedure.Wagner de Campos Sanz & Hermógenes Oliveira  2016  Synthese 193 (8):25392559.details
 Logic and Sense.Urszula WybraniecSkardowska  2016  Philosophy Study 6 (9).details
 On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency.Urszula WybraniecSkardowska  2016  Axioms 5 (15).details
 NonDeterministic Algebras and Algebraization of Logics.Ana Claudia Golzio & Marcelo E. Coniglio  2015  Filosofia da Linguagem E da Lógica (Philosophy of Language and Philosophy of Logic, in Portuguese).details
 Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill  2015  Dissertation, University of Waterloodetails
 An Introduction to Partition Logic.David Ellerman  2014  Logic Journal of the IGPL 22 (1):94125.details
 La Logique Symbolique En Débat À Oxford À la Fin du XIXe Siècle : Les Disputes Logiques de Lewis Carroll Et John Cook Wilson.Mathieu Marion & Amirouche Moktefi  2014  Revue D’Histoire des Sciences 67 (2):185205.details
 Expanding the Universe of Universal Logic.James Trafford  2014  Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 29 (3):325343.details
 Yablo Sequences in Truth Theories.Cezary Cieśliński  2013  In K. Lodaya (ed.), Logic and Its Applications, Lecture Notes in Computer Science LNCS 7750. Springer. pp. 127138.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.
